GitHub PushEvent at 2014-12-03 09:23:28
Repository: CVC4
Actor: HasibShakur
Payload: {"shas":[["248cff202bc2635efbd5525d8bd84ef7976ea930","684707b5b733689fb0b2a0289a21dcf29df0ad82@HasibShakur","resolved error","MDHASIBBIN",true]],"size":1,"ref":"refs/heads/master","head":"248cff202bc2635efbd5525d8bd84ef7976ea930"}