@User: Indeed, I would have thought that the whole point of using git would be to remove all the redundancy: Write version 0.0.0, push it to the repo and tag it with the version number, overwrite it with version 0.0.1, push it to the repo and tag it with the version number. . . Maybe that is the intention but just unfeasible while the repository contents are still changing in all versions?