GitHub PushEvent at 2014-08-13 11:07:32
Repository: pts
Actor: Blaisorblade
Payload: {"shas":[["163b914c15e51ef8e389691b06adb248f40f5a1b","7d29c16196417912ba1e9a6133cd4095f2f879e8@gmail.com","Fixup: lookupPTS ↦ lookupInstance","Paolo G. Giarrusso",true]],"size":1,"ref":"refs/heads/topic/language-stm","head":"163b914c15e51ef8e389691b06adb248f40f5a1b"}