{"comment":{"url":"https://api.github.com/repos/edsko/cabal/comments/10373492","html_url":"https://github.com/edsko/cabal/commit/ea22d11fc870eeeeb1fe7ccbec216e2af7c141bf#commitcomment-10373492","id":10373492,"user":{"login":"edsko","id":935288,"avatar_url":"https://avatars.githubusercontent.com/u/935288?v=3","gravatar_id":"","url":"https://api.github.com/users/edsko","html_url":"https://github.com/edsko","followers_url":"https://api.github.com/users/edsko/followers","following_url":"https://api.github.com/users/edsko/following{/other_user}","gists_url":"https://api.github.com/users/edsko/gists{/gist_id}","starred_url":"https://api.github.com/users/edsko/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/edsko/subscriptions","organizations_url":"https://api.github.com/users/edsko/orgs","repos_url":"https://api.github.com/users/edsko/repos","events_url":"https://api.github.com/users/edsko/events{/privacy}","received_events_url":"https://api.github.com/users/edsko/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"ea22d11fc870eeeeb1fe7ccbec216e2af7c141bf","created_at":"2015-03-24T17:56:00Z","updated_at":"2015-03-24T17:56:00Z","body":"@23Skidoo what is proper protocol here when I want to address your comments? Should I push commits fixing them or should I force-update my branch?"}}