GitHub PushEvent at 2014-11-20 07:53:16
Repository: CVC4
Actor: HasibShakur
Payload: {"shas":[["58f2d9f76bd35f21aaf16a079a75b505a0ce622e","684707b5b733689fb0b2a0289a21dcf29df0ad82@HasibShakur","added debug message","MDHASIBBIN",true]],"size":1,"ref":"refs/heads/master","head":"58f2d9f76bd35f21aaf16a079a75b505a0ce622e"}