buttonmen-dev/buttonmen — pull request #220 by cgolubi1 (2013-11-27 15:14:00+00:00)
Title: simple functionality to print a git commit hash version as a web document

Known limitation: this assumes that the tree and branch are buttonmen-dev/buttonmen master. So this is simplistic, but should do the right thing for alpha.buttonweavers.com itself, which is the important case.
* Fixes #219
* also, add another SSH key for james