{"push_id":2613231883,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"125b87f829197305a436860b9713fc9afb7962ab","before":"7b836cbc39da6eb28ea4d96cb6fd934ebc35fac9","commits":[{"sha":"125b87f829197305a436860b9713fc9afb7962ab","author":{"name":"Daniel de Rauglaudre","email":"838cac7966bf01cd8b4e996b70e05d53984c7d46@inria.fr"},"message":"-","distinct":true,"url":"https://api.github.com/repos/roglo/coq_homol_algeb/commits/125b87f829197305a436860b9713fc9afb7962ab"}]}
{"actor":{"display_login":"roglo"}}