Check if you haven't forgotten to bump the PyPi package version number before you merge a release pull request.