{"push_id":1216750092,"size":1,"distinct_size":1,"ref":"refs/heads/travis","head":"d4215cd259b29c6c9e6daf89cfbaf99e9fdc8a09","before":"1c27552a3741c11b8039539c3148101531f8c59b","commits":[{"sha":"d4215cd259b29c6c9e6daf89cfbaf99e9fdc8a09","author":{"name":"Stefan Fehrenbach","email":"c76efa79e4f091c89dba208d45562e4de6f7618e@gmail.com"},"message":"Use coq from apt","distinct":true,"url":"https://api.github.com/repos/fehrenbach/qcert/commits/d4215cd259b29c6c9e6daf89cfbaf99e9fdc8a09"}]}
{"actor":{"display_login":"fehrenbach"}}