You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

How to release

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