We need to set this up such that new tags on master generate a new PyPI release upon tests passing.
Ideally we would also set this up something like hypothesis does, where tags are automatically created with every PR that updates the version. I will create a separate issue for this.