The release job seems to be doing well publishing to the test pypi repo, so I think we can update it to publish to the real one now.