{"comment":{"url":"https://api.github.com/repos/agda/agda/comments/9941964","html_url":"https://github.com/agda/agda/commit/68cab64de2de226ccff18abb28a0a25559cb4858#commitcomment-9941964","id":9941964,"user":{"login":"andreasabel","id":1155218,"avatar_url":"https://avatars.githubusercontent.com/u/1155218?v=3","gravatar_id":"","url":"https://api.github.com/users/andreasabel","html_url":"https://github.com/andreasabel","followers_url":"https://api.github.com/users/andreasabel/followers","following_url":"https://api.github.com/users/andreasabel/following{/other_user}","gists_url":"https://api.github.com/users/andreasabel/gists{/gist_id}","starred_url":"https://api.github.com/users/andreasabel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreasabel/subscriptions","organizations_url":"https://api.github.com/users/andreasabel/orgs","repos_url":"https://api.github.com/users/andreasabel/repos","events_url":"https://api.github.com/users/andreasabel/events{/privacy}","received_events_url":"https://api.github.com/users/andreasabel/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"68cab64de2de226ccff18abb28a0a25559cb4858","created_at":"2015-02-26T17:52:44Z","updated_at":"2015-02-26T17:52:44Z","body":"Mmh, you include two binary files in your patch.  Want to fatten up our repo?"}}