Please tag releases in git so that the state of the repository when a particular release was made is easier to find.