chiark / gitweb /
check git is on correct tag before making a release