3 * Make sure you're on master and synced to HEAD
4 * Ensure the project builds and tests run (sanity check only, obviously)
5 * `parallel -j0 exec ::: test/*_test` can help ensure everything at least
7 * Prepare release notes
8 * `git log $(git describe --abbrev=0 --tags)..HEAD` gives you the list of
9 commits between the last annotated tag and HEAD
10 * Pick the most interesting.
11 * Create a release through github's interface
12 * Note this will create a lightweight tag.
13 * Update this to an annotated tag:
15 * `git tag -a -f <tag> <tag>`
16 * `git push --force origin`