{"push_id":2768376015,"size":1,"distinct_size":1,"ref":"refs/heads/setup-travis-ci","head":"0b9d608809e17590215af8f8f8c1357e8653894f","before":"a64f0a575cebee1a5c4489408cd320b3dee9e322","commits":[{"sha":"0b9d608809e17590215af8f8f8c1357e8653894f","author":{"name":"Erik Martin-Dorel","email":"71f9fbfacd9a4b3ec28bcce12bab8bccb88de59c@irit.fr"},"message":"Add a job for Coq 8.8.1","distinct":true,"url":"https://api.github.com/repos/validsdp/validsdp/commits/0b9d608809e17590215af8f8f8c1357e8653894f"}]}
{"actor":{"display_login":"erikmd"}}