{"push_id":536997350,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"27460d3dd553a8c863632461c84d4418c5c324aa","before":"722be32b90d55303656cc9b49723fe1264c5405f","commits":[{"sha":"27460d3dd553a8c863632461c84d4418c5c324aa","author":{"email":"c9c906d5a5fa5994f337437e52ea319348ca5e9a@gmail.com","name":"Ligia Nistor"},"message":"wrote the ensures forall","distinct":true,"url":"https://api.github.com/repos/ligianistor/Oprop/commits/27460d3dd553a8c863632461c84d4418c5c324aa"}]}