{"comment":{"url":"https://api.github.com/repos/GaloisInc/cryptol/comments/10244350","html_url":"https://github.com/GaloisInc/cryptol/commit/a46b4c31c2f1fbd1dc9b5ebd2eb820dc31b7e823#commitcomment-10244350","id":10244350,"user":{"login":"acfoltzer","id":205266,"avatar_url":"https://avatars.githubusercontent.com/u/205266?v=3","gravatar_id":"","url":"https://api.github.com/users/acfoltzer","html_url":"https://github.com/acfoltzer","followers_url":"https://api.github.com/users/acfoltzer/followers","following_url":"https://api.github.com/users/acfoltzer/following{/other_user}","gists_url":"https://api.github.com/users/acfoltzer/gists{/gist_id}","starred_url":"https://api.github.com/users/acfoltzer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/acfoltzer/subscriptions","organizations_url":"https://api.github.com/users/acfoltzer/orgs","repos_url":"https://api.github.com/users/acfoltzer/repos","events_url":"https://api.github.com/users/acfoltzer/events{/privacy}","received_events_url":"https://api.github.com/users/acfoltzer/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"a46b4c31c2f1fbd1dc9b5ebd2eb820dc31b7e823","created_at":"2015-03-17T19:05:19Z","updated_at":"2015-03-17T19:05:19Z","body":"I think that's been on the todo list for Hackage2 for years..."}}