{"push_id":2392552375,"size":1,"distinct_size":1,"ref":"refs/heads/v8.8","head":"e7c65756181b934c381b18ddcc28bc1714e6f35f","before":"aa2d0e5a138c51360d61378ae32afc4e058eb0d8","commits":[{"sha":"e7c65756181b934c381b18ddcc28bc1714e6f35f","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[serapi] Remove deprecated/broken `SetOpt` and `LibAdd` commands.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq-serapi/commits/e7c65756181b934c381b18ddcc28bc1714e6f35f"}]}
{"actor":{"display_login":"ejgallego"}}