I think it makes sense to just push up the version number when we release to PyPI