{"comment":{"url":"https://api.github.com/repos/dangabhi/verse-coq/comments/30488920","html_url":"https://github.com/dangabhi/verse-coq/commit/ec2f6a40e5821b2870bad84291180c8f4e9a8d07#commitcomment-30488920","id":30488920,"node_id":"MDEzOkNvbW1pdENvbW1lbnQzMDQ4ODkyMA==","user":{"login":"dangabhi","id":5499244,"node_id":"MDQ6VXNlcjU0OTkyNDQ=","avatar_url":"https://avatars0.githubusercontent.com/u/5499244?v=4","gravatar_id":"","url":"https://api.github.com/users/dangabhi","html_url":"https://github.com/dangabhi","followers_url":"https://api.github.com/users/dangabhi/followers","following_url":"https://api.github.com/users/dangabhi/following{/other_user}","gists_url":"https://api.github.com/users/dangabhi/gists{/gist_id}","starred_url":"https://api.github.com/users/dangabhi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dangabhi/subscriptions","organizations_url":"https://api.github.com/users/dangabhi/orgs","repos_url":"https://api.github.com/users/dangabhi/repos","events_url":"https://api.github.com/users/dangabhi/events{/privacy}","received_events_url":"https://api.github.com/users/dangabhi/received_events","type":"User","site_admin":false},"position":4,"line":154,"path":"src/Verse/Language/Ast.v","commit_id":"ec2f6a40e5821b2870bad84291180c8f4e9a8d07","created_at":"2018-09-13T05:13:34Z","updated_at":"2018-09-13T05:13:34Z","author_association":"OWNER","body":"I have not forgotten that we had spoken about that before, but a class allows one to use more than one class in scope more organically, right? To be honest, am not entirely sure how much that matters even if true.\r\nIs a small change if that change is decided upon."}}
{"actor":{"display_login":"dangabhi"}}