Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update release process to make GitHub release (#253)
* Update release process to make GitHub release It was not really clear that a tag and a GitHub release are needed, pull these into discrete items in the checklist.
- Loading branch information