Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The steps are numerous, subtle and complex enough that it's worth writing them down. In particular, getting the order correct is important. (i.e., If we released to crates.io first and the GitHub release infrastructure failed, then we'd be in a pickle.)
- Loading branch information