{"ref":"refs/heads/master","commits":[{"author":{"name":"User User","email":"12dea96fec20593566ab75692c9949596833adc9@.(none)"},"url":"https://api.github.com/repos/ProofCafe/tpp2011/commits/3f4a71b8a7170ae621b4dd7bd67e46b53f9a321d","message":"Define min and prove min_minimum","sha":"3f4a71b8a7170ae621b4dd7bd67e46b53f9a321d"}],"head":"3f4a71b8a7170ae621b4dd7bd67e46b53f9a321d","size":1,"push_id":49848378}