GitHub PushEvent at 2014-12-15 07:50:27
Repository: CoDatatypeDP
Actor: blanchette
Payload: {"shas":[["c3be095d709efd1df10b0ef349570dd9c49b5a2a","dd61f76bbd3761ff6aaff29b2c22037cc5554487@in.tum.de","more","blanchette",true],["89f8adb8caa6867c3f4c826e265ba97899ddd52e","dd61f76bbd3761ff6aaff29b2c22037cc5554487@in.tum.de","more","blanchette",true]],"size":2,"ref":"refs/heads/master","head":"89f8adb8caa6867c3f4c826e265ba97899ddd52e"}