{"push_id":656181264,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"3e4d8d211241fdb6eb905ca26250fc6c8d59a484","before":"0fd01e920a4ac7b4b6d7f7d5164c55c1aff7092f","commits":[{"sha":"b26e45c7a457333c764c6f3a6f260280987cabe5","author":{"email":"43f2a2d2c86e22bc80f5acc690d97a5dcf4c4b2f@cse.gu.se","name":"Nils Anders Danielsson"},"message":"[ Input method ] Removed some duplicate translations.","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/b26e45c7a457333c764c6f3a6f260280987cabe5"},{"sha":"3e4d8d211241fdb6eb905ca26250fc6c8d59a484","author":{"email":"43f2a2d2c86e22bc80f5acc690d97a5dcf4c4b2f@cse.gu.se","name":"Nils Anders Danielsson"},"message":"Merge branch 'maint-2.4.2'","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/3e4d8d211241fdb6eb905ca26250fc6c8d59a484"}]}