Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Revise release documentation #2016
This fixes #2014 and also makes a few additional changes:
So even though the release instructions now include one additional step, the process should actually go faster and be less error prone, I think. We'll probably want to run through a small release after this update just to "manually test" these changes, though.