- Having the Hail pypi credentials locally:
$ env | rg TWINE
$ ls /Users/tpoterba/.hail-pypi-creds/
- Make a PR that includes the following changes:
hail/python/hail/docs/change_log.md using the style in other change messages. A note should be included for user-facing changes and bugfixes, including performance. Correctness bugs should be emphasized.
- Once the PR goes in, check out the master branch on that commit locally.
DEPLOY_PROD=1 make deploy
- Go here and draft a new release. Select the tag, call it the same name as the tag, and describe it as “Hail version X.”;
These days, instead of
DEPLOY_PROD=1 make deploy, you’d actually want
DEPLOY_REMOTEfirstname.lastname@example.org:hail-is/hail.git make deploy. Specifying
DEPLOY_REMOTE makes it so that ssh git users and http git users both can deploy correctly.