{"push_id":2521519384,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6dfa51c7c9691f326e9d7ee5b5240b4654504930","before":"e1610ef48c61267aa0110feb42b167c95767a813","commits":[{"sha":"6dfa51c7c9691f326e9d7ee5b5240b4654504930","author":{"name":"Brad Hardy","email":"dd1248acdf87a5d192f60adf50879dde0ef76ba9@live.com"},"message":"Adding `Data.Fin.Permutation` (#252)","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/6dfa51c7c9691f326e9d7ee5b5240b4654504930"}]}
{"actor":{"display_login":"MatthewDaggitt"}}