{"push_id":2657105975,"size":1,"distinct_size":1,"ref":"refs/heads/ghc-submodule","head":"0e83ee4322f2f7c169bbf47f86770dc7cad04ac7","before":"95d1b940a4aaa058367749415b1ca9f08596d9c9","commits":[{"sha":"0e83ee4322f2f7c169bbf47f86770dc7cad04ac7","author":{"name":"Joachim Breitner","email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@joachim-breitner.de"},"message":"Add more files into gen-files","distinct":true,"url":"https://api.github.com/repos/antalsz/hs-to-coq/commits/0e83ee4322f2f7c169bbf47f86770dc7cad04ac7"}]}
{"actor":{"display_login":"nomeata"}}