{"push_id":2907453443,"size":1,"distinct_size":1,"ref":"refs/heads/rm-section-path","head":"702f8bf12341e1b02f0c85d0b71650d7083f5fc9","before":"a85a1b2fc7dba0d71c5cfbe9061da5f47fd3e971","commits":[{"sha":"702f8bf12341e1b02f0c85d0b71650d7083f5fc9","author":{"name":"Maxime Dénès","email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@maximedenes.fr"},"message":"Remove section paths from kernel names","distinct":true,"url":"https://api.github.com/repos/maximedenes/coq/commits/702f8bf12341e1b02f0c85d0b71650d7083f5fc9"}]}
{"actor":{"display_login":"maximedenes"}}