{"push_id":608492180,"size":1,"distinct_size":1,"ref":"refs/heads/Translator","head":"31fe46600cc3b817211edf6a4ddef5cd717a7033","before":"29b9f1634773c6248350c2dd02846db316990f99","commits":[{"sha":"31fe46600cc3b817211edf6a4ddef5cd717a7033","author":{"email":"016e7077b40c05d3fe5d391ab7e74af072abb115@galois.inria.fr","name":"Vincenzo Mastandrea"},"message":"20/03/2015","distinct":true,"url":"https://api.github.com/repos/Dhampyr/ASPdeadlockTool/commits/31fe46600cc3b817211edf6a4ddef5cd717a7033"}]}