GitHub PushEvent at 2014-06-30 09:36:23
Repository: pretty-mode
Actor: defanor
Payload: {"shas":[["0446744e1d78773c6269b7b934380660940e9b40","27d0bfab0dd622c8a36d67021ac586c51f1139b4@uberspace.net","added Idris support","defanor",true]],"size":1,"ref":"refs/heads/master","head":"0446744e1d78773c6269b7b934380660940e9b40"}