{"push_id":1812357123,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1d9ff13054c6fe480c2b9e1a06ff4903916df864","before":"2cb780ab55dd253f11199f2f0e47cfbc43062d19","commits":[{"sha":"02566bb4236f8100672cb5e1e258031977ce5c33","author":{"name":"Patrick Hilhorst","email":"6e6eef654205e8a2cab48df0960802d8d68ca009@gmail.com"},"message":"Update CHANGELOG.md","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/02566bb4236f8100672cb5e1e258031977ce5c33"},{"sha":"1d9ff13054c6fe480c2b9e1a06ff4903916df864","author":{"name":"Niklas Larsson","email":"f00ad0a60710e0eb5b699b4c9fdbf02e147c6c43@gmail.com"},"message":"Merge pull request #3874 from Synthetica9/patch-1\n\nUpdate CHANGELOG.md for SortedMap merge","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/1d9ff13054c6fe480c2b9e1a06ff4903916df864"}]}
{"actor":{"display_login":"melted"}}