{"push_id":921277011,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"7c2ce8d6d8dd7e5b6e2396dbbf78f4bce77aace3","before":"259eb5e71e44c4186a56e80e282f0a6cfe08c218","commits":[{"sha":"7c2ce8d6d8dd7e5b6e2396dbbf78f4bce77aace3","author":{"email":"6c0596b8ac609191181a90517d51c0b486f23799@enst.fr","name":"mlba"},"message":"minor changes","distinct":true,"url":"https://api.github.com/repos/daqcri/dafna/commits/7c2ce8d6d8dd7e5b6e2396dbbf78f4bce77aace3"}]}