{"push_id":3337007031,"size":1,"distinct_size":1,"ref":"refs/heads/wip/linters","head":"7a95d13142899b08fa15b26be98e69b15a9d3e9f","before":"24c040202a3c948631625b73e3edcb5adac66004","commits":[{"sha":"7a95d13142899b08fa15b26be98e69b15a9d3e9f","author":{"name":"Matthew Pickering","email":"3a150baad2b0281482d27ee2e9cb1741c2d28d51@gmail.com"},"message":"Run linters on merge requests\n\nIt seems that it has failed to execute at all since it was implemented.\n\nWe now run the linters on merge requests.","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/7a95d13142899b08fa15b26be98e69b15a9d3e9f"}]}
{"actor":{"display_login":"bgamari"}}