{"comment":{"url":"https://api.github.com/repos/leanprover/tutorial/comments/19969733","html_url":"https://github.com/leanprover/tutorial/commit/41c9533874f11ab173369cc2f68d83de1af2cdff#commitcomment-19969733","id":19969733,"user":{"login":"avigad","id":2783534,"avatar_url":"https://avatars.githubusercontent.com/u/2783534?v=3","gravatar_id":"","url":"https://api.github.com/users/avigad","html_url":"https://github.com/avigad","followers_url":"https://api.github.com/users/avigad/followers","following_url":"https://api.github.com/users/avigad/following{/other_user}","gists_url":"https://api.github.com/users/avigad/gists{/gist_id}","starred_url":"https://api.github.com/users/avigad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/avigad/subscriptions","organizations_url":"https://api.github.com/users/avigad/orgs","repos_url":"https://api.github.com/users/avigad/repos","events_url":"https://api.github.com/users/avigad/events{/privacy}","received_events_url":"https://api.github.com/users/avigad/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":null,"commit_id":"41c9533874f11ab173369cc2f68d83de1af2cdff","created_at":"2016-11-26T14:04:11Z","updated_at":"2016-11-26T14:04:11Z","body":"@gebner Thanks for fixing this!"}}
{"actor":{"display_login":"avigad"}}