{"push_id":574698872,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d59d7ab0fb3db29a7105201bc281ce9eca234bb8","before":"2a8e4086a65f7a770251b6e833e95a2ced9fcea8","commits":[{"sha":"d59d7ab0fb3db29a7105201bc281ce9eca234bb8","author":{"email":"cf43de92e885c828939e8d77803882703881910e@inria.fr","name":"Chantal Keller"},"message":"Description of the SMTCoq package","distinct":true,"url":"https://api.github.com/repos/smtcoq/repo-unstable/commits/d59d7ab0fb3db29a7105201bc281ce9eca234bb8"}]}