{"push_id":2974372135,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"82e45be5f323861ed65d3160ae6a927c7953e484","before":"07d676694b50dc677fbf5d9ea72f4cf236adf216","commits":[{"sha":"82e45be5f323861ed65d3160ae6a927c7953e484","author":{"name":"Jesper Cockx","email":"e3c7ff9230a78519a00220830d65110ea0beeed2@sikanda.be"},"message":"Merge pull request #3294 from halfaya/master\n\nElaborate and Give","distinct":true,"url":"https://api.github.com/repos/halfaya/agda/commits/82e45be5f323861ed65d3160ae6a927c7953e484"}]}
{"actor":{"display_login":"halfaya"}}