1# How to release
2
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
6      passes
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:
14      * `git pull --tags`
15      * `git tag -a -f <tag> <tag>`
16      * `git push --force origin`
17