GitHub PushEvent at 2014-04-27 22:11:00
Repository: dReal-soonhok
Actor: soonhokong
Payload: {"shas":[["48564f1ec0e15c917c4e352c8bc7cb92c8892483","63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","checkpoint","Soonho Kong",true]],"size":1,"ref":"refs/heads/master","head":"48564f1ec0e15c917c4e352c8bc7cb92c8892483"}