{"push_id":579027083,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d18b80799f23dc55e7c1a67dd96ad3b6373e207e","before":"2e15d8786f20f6aab779388fc0c4bce659ae7698","commits":[{"sha":"d18b80799f23dc55e7c1a67dd96ad3b6373e207e","author":{"email":"c205d3c02305b0847f08acbce12933d8493a77bd@lyse.net","name":"Deagels"},"message":"Initial dfy file upload","distinct":true,"url":"https://api.github.com/repos/Deagels/Paxos-in-Dafny/commits/d18b80799f23dc55e7c1a67dd96ad3b6373e207e"}]}