{"push_id":715218912,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ad1a1ed73d4303524604659977f4baa389998737","before":"8bf20c3712bb924c33fcafcd3d7836406dcd1f5e","commits":[{"sha":"ad1a1ed73d4303524604659977f4baa389998737","author":{"email":"1283758a8f061147e73807e37387ed4bee972881@gmail.com","name":"Rob Spoel"},"message":"Fixed basic lemma for :~: operator","distinct":true,"url":"https://api.github.com/repos/Dandandan/provabe-compiler/commits/ad1a1ed73d4303524604659977f4baa389998737"}]}