{"push_id":2803292586,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"97e078b2950745f4a7fbcacd325a543be0e8754d","before":"0e814d174f1a447875abf60b8b05abf799fa1754","commits":[{"sha":"97e078b2950745f4a7fbcacd325a543be0e8754d","author":{"name":"Donnacha Oisín Kidney","email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@doisinkidney.com"},"message":"removed mono","distinct":true,"url":"https://api.github.com/repos/oisdk/agda-poly/commits/97e078b2950745f4a7fbcacd325a543be0e8754d"}]}
{"actor":{"display_login":"oisdk"}}