The script that makes a release also adds a file `VERSION` containing the release name and SHA-1 of the current commit.