{"push_id":2359593536,"size":1,"distinct_size":1,"ref":"refs/heads/printing+diff_goals_example","head":"e404cb4e6f005e0d8d6629e983c7fcb86a546dd7","before":"abd908ab87603a9fd6fcf2b184f83c28393db7da","commits":[{"sha":"e404cb4e6f005e0d8d6629e983c7fcb86a546dd7","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[proofs] Add a skeleton to hook a proof diff algorithm.\n\nUnfortunately the `Proof.*` API has some bitrot (that we should clean\nup soon) and it is not as accessible as it should be, but the current\napproach should work.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/e404cb4e6f005e0d8d6629e983c7fcb86a546dd7"}]}
{"actor":{"display_login":"ejgallego"}}