Tags would be useful, they allow comparison of software versions with git and with the web interface etc.
Tags would be useful, they allow comparison of software versions with git and with the web interface etc.