GitHub PushEvent at 2014-02-18 16:44:25
Repository: PathExplorer
Actor: tathanhdinh
Payload: {"shas":[["87c35f5aa765844b8b2e5bdce8ea317b48edbe83","e5b7ce89da1fb39e2b751c6570ab3182d37cdc1e@inria.fr","simplify finding nearest checkpoint","Ta Thanh Dinh",true]],"size":1,"ref":"refs/heads/windows_version","head":"87c35f5aa765844b8b2e5bdce8ea317b48edbe83"}