GitHub PushEvent at 2014-09-29 20:29:13
Repository: frenetic
Actor: seliopou
Payload: {"shas":[["9323a80d8da0c653113f2bd443d589ac03f13da1","4191bf1ecd32591bb7f5842e503996855e5f7b2d@gmail.com","Merge branch 'master' into daft_punk\n\nConflicts:\n\tasync/Async_NetKAT.ml\n\tasync/Async_NetKAT.mli\n\tasync/discovery.ml\n\tasync/learning.ml","Spiros Eliopoulos",true]],"size":1,"ref":"refs/heads/daft_punk","head":"9323a80d8da0c653113f2bd443d589ac03f13da1"}