{"push_id":2443026618,"size":1,"distinct_size":1,"ref":"refs/heads/sphinx-doc","head":"21e3cbe8735949032773832608a7fbf92635a69e","before":"f463eb1233aa3741ed17712dfb6eeb59883ffdaa","commits":[{"sha":"21e3cbe8735949032773832608a7fbf92635a69e","author":{"name":"thery","email":"7873182e3357f87752eb4170c89c838a8621a0ec@sophia.inria.fr"},"message":"Using cmd:: and tac:: for ring doc","distinct":true,"url":"https://api.github.com/repos/thery/coq/commits/21e3cbe8735949032773832608a7fbf92635a69e"}]}
{"actor":{"display_login":"thery"}}