GitHub PushEvent at 2014-07-18 18:42:24
Repository: ocaml-tptp
Actor: radekm
Payload: {"shas":[["48ff43df9b3ed90fdf9ce1ccea38236c65ce2e6e","917147c67695df89a41c3bfa831cad717cfdfa29@gmail.com","Migrate to Menhir","Radek Micek",true]],"size":1,"ref":"refs/heads/master","head":"48ff43df9b3ed90fdf9ce1ccea38236c65ce2e6e"}