{"push_id":2421635918,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"891f8271b9d77153dc2122f2d6f4a5f985f7a877","before":"e9ab9b38f0f2e46052a4ca3689b6546269567e7f","commits":[{"sha":"891f8271b9d77153dc2122f2d6f4a5f985f7a877","author":{"name":"Vincent Archambault","email":"0e923a3b8710bbc5225d9295d141c8b84c6ae3a4@gmail.com"},"message":"More proofs done (9 to go)","distinct":true,"url":"https://api.github.com/repos/archambaultv/coq-libre-lib/commits/891f8271b9d77153dc2122f2d6f4a5f985f7a877"}]}
{"actor":{"display_login":"archambaultv"}}