{"push_id":673921813,"size":1,"distinct_size":1,"ref":"refs/heads/docs_localization","head":"4949b68b491e56a6376d66799a1be2f154837293","before":"537c604d76f0dff5dc5e37b12c00683020775702","commits":[{"sha":"4949b68b491e56a6376d66799a1be2f154837293","author":{"email":"d53652de63b26f2b99abfc5699fac10f3f95e1f7@live.ru","name":"Heather"},"message":"translate finite sets & corrections for other translations","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/4949b68b491e56a6376d66799a1be2f154837293"}]}