chiark / gitweb /
Use "git-rev-parse" to get the HEAD commit