Managing the version number of Git-hosted PHP projects