GitHub PushEvent at 2014-09-12 13:03:40
Repository: dsn1675-exercise-1
Actor: isabelle6
Payload: {"shas":[["39389497fe186bac8f354b0cc73c7cb8af34c98d","f450114dfc8c18dcff061295b756416e00ab0e05@hotmail.com","everything","Isabelle6",true]],"size":1,"ref":"refs/heads/gh-pages","head":"39389497fe186bac8f354b0cc73c7cb8af34c98d"}