{"push_id":979961378,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"636df96940c057522bea800780d60f44cfea6ef2","before":"839c1617939d269782222e72614e0ba5e3a6268e","commits":[{"sha":"f0b24c4e2bdd5155da70b98ac379ed934ca6a079","author":{"email":"ad599d0dbb723421fb3b3704d6764c4f1062f332@gmail.com","name":"Olivier Verdier"},"message":"minor simplifications","distinct":true,"url":"https://api.github.com/repos/olivierverdier/coq-bisection/commits/f0b24c4e2bdd5155da70b98ac379ed934ca6a079"},{"sha":"636df96940c057522bea800780d60f44cfea6ef2","author":{"email":"ad599d0dbb723421fb3b3704d6764c4f1062f332@gmail.com","name":"Olivier Verdier"},"message":"streamline proof of width_half_power","distinct":true,"url":"https://api.github.com/repos/olivierverdier/coq-bisection/commits/636df96940c057522bea800780d60f44cfea6ef2"}]}