{"push_id":886486391,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4f0572ea60b691e77776c7166025133e2369991b","before":"df915d5c28ba118348dfe8a6c1b5e25ab77d0976","commits":[{"sha":"4f0572ea60b691e77776c7166025133e2369991b","author":{"email":"9420c71a4afbdabf89819de9afc1906c6044c475@gmail.com","name":"Elod Csirmaz"},"message":"Proof for the completeness of reconciliation. Only one more proof to go!","distinct":true,"url":"https://api.github.com/repos/csirmaz/AlgebraicSyncPaper/commits/4f0572ea60b691e77776c7166025133e2369991b"}]}