{"push_id":1457137453,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ce30cdc6cb27b5eb2867cca78a86b1236d90b273","before":"63f9b2147ef65af18de3491073f7368353fd3a5d","commits":[{"sha":"ce30cdc6cb27b5eb2867cca78a86b1236d90b273","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"Coq files tested with Coq 8.6.","distinct":true,"url":"https://api.github.com/repos/asr/fotc/commits/ce30cdc6cb27b5eb2867cca78a86b1236d90b273"}]}
{"actor":{"display_login":"asr"}}