{"push_id":626593586,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5229d5b1c87805ca35f81a324e574cbe5aba0e17","before":"b259d86f2679c2919a65cb465319dd2e48695234","commits":[{"sha":"5229d5b1c87805ca35f81a324e574cbe5aba0e17","author":{"email":"c205d3c02305b0847f08acbce12933d8493a77bd@lyse.net","name":"Deagels"},"message":"Replica class. using Modules","distinct":true,"url":"https://api.github.com/repos/Deagels/Paxos-in-Dafny/commits/5229d5b1c87805ca35f81a324e574cbe5aba0e17"}]}