GitHub PushEvent at 2014-11-20 05:07:48
Repository: FStar
Actor: nikswamy
Payload: {"shas":[["23a4f937d4c7cdb1f7d4dd4115a2cec94f20eef0","aa9e2049898701eabf02444443297735c3c3610f@live.com","simplifying cca2.fst; verifies now","Nikhil Swamy",true]],"size":1,"ref":"refs/heads/master","head":"23a4f937d4c7cdb1f7d4dd4115a2cec94f20eef0"}