{"push_id":3035840648,"size":4,"distinct_size":2,"ref":"refs/heads/master","head":"ce8e37b97ce9db6f39368c50fb0ee4a7839ce754","before":"1761f8ed41f3891f8b6edc0dd256cd18e47a74fb","commits":[{"sha":"a7522a0ea76a6efaed9342d08a95363b56d88d32","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Remove checker printers\n\nNow that the checker is using the regular kernel files it can also use\nthe normal printers.","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/a7522a0ea76a6efaed9342d08a95363b56d88d32"},{"sha":"c5213ab2a33087286a7ef224b8d2c73f8d19176d","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Fix dune runtest invocation","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/c5213ab2a33087286a7ef224b8d2c73f8d19176d"},{"sha":"7e3c54c09bdd748e2e2a60a94891b65481776041","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"Merge PR #8956: Fix dune runtest invocation","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/7e3c54c09bdd748e2e2a60a94891b65481776041"},{"sha":"ce8e37b97ce9db6f39368c50fb0ee4a7839ce754","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"Merge PR #8949: Remove checker printers","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/ce8e37b97ce9db6f39368c50fb0ee4a7839ce754"}]}
{"actor":{"display_login":"SkySkimmer"}}