Release Checklist

Ensure the documentation is up to date, particularly the changelog
Merge the changes into the master branch (if necessary)
Push the code changes to GitHub (git push)
Tag the release (git tag 1.2.3)
Push the tag (git push --tag)