Development: Releasing Process

1. Draft a new release

   Go through commits, issues, and PRs.

2. Update the version strings and dates in

   • pipes.sh

   • pipes.sh.6

3. Generate HTML manpage:

   1. make pipes.sh.6.html
   2. Commit the HTML in gh-pages branch
   3. Push the branch

4. Tag release

   1. Use git tag --annotate vX.Y.Z [commit] with release note as message
   2. Push the commit and tag

5. Publish release note on GitHub

   The note should be the same as one in annotated tag, but in Markdown and with links to commits, issues, PRs, etc.