This document explains what do once your Pull Request has been reviewed and all final changes applied. Now you're ready merge your branch into master and release it to the world:
- Bump the version in
version.py, as part of the PR you want to release. - Merge your branch into master.
- Run
deploy.sh