{"push_id":726188823,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3647d4bbd05498d9de1c66109b6b6fa3c7219904","before":"edc85e8e0964426d31b0dac14b36665f1d2726aa","commits":[{"sha":"3647d4bbd05498d9de1c66109b6b6fa3c7219904","author":{"email":"7196d55eb9c01ecfca14e37bcc8db9c4bafa8d0a@gmail.com","name":"Mariano M. Chouza"},"message":"'div_works' proved.","distinct":true,"url":"https://api.github.com/repos/mchouza/learning-coq/commits/3647d4bbd05498d9de1c66109b6b6fa3c7219904"}]}