GitHub PushEvent at 2014-01-02 15:47:56
Repository: Idris-dev
Actor: david-christiansen
Payload: {"shas":[["b6a14bce539c88da35783b2760afff28d7c4e579","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","Fix source locations for generated version number","David Raymond Christiansen",true]],"size":1,"ref":"refs/heads/show-git-in-version-2","head":"b6a14bce539c88da35783b2760afff28d7c4e579"}