Pull requests should not change the project version number.