{"push_id":716312086,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"50737826f161bd4f8afdb9079dae7c0e6625a2c2","before":"80c4f444a5a60e72b9591a8d97811e53f00f8e50","commits":[{"sha":"50737826f161bd4f8afdb9079dae7c0e6625a2c2","author":{"email":"7196d55eb9c01ecfca14e37bcc8db9c4bafa8d0a@gmail.com","name":"Mariano M. Chouza"},"message":"Exercise 8.16 in progress.","distinct":true,"url":"https://api.github.com/repos/mchouza/learning-coq/commits/50737826f161bd4f8afdb9079dae7c0e6625a2c2"}]}