{"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/comments/18802932","html_url":"https://github.com/idris-lang/Idris-dev/commit/bab7bca1f701a1758ccf1538f8e3b3dd18404347#commitcomment-18802932","id":18802932,"user":{"login":"zjhmale","id":6234553,"avatar_url":"https://avatars.githubusercontent.com/u/6234553?v=3","gravatar_id":"","url":"https://api.github.com/users/zjhmale","html_url":"https://github.com/zjhmale","followers_url":"https://api.github.com/users/zjhmale/followers","following_url":"https://api.github.com/users/zjhmale/following{/other_user}","gists_url":"https://api.github.com/users/zjhmale/gists{/gist_id}","starred_url":"https://api.github.com/users/zjhmale/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zjhmale/subscriptions","organizations_url":"https://api.github.com/users/zjhmale/orgs","repos_url":"https://api.github.com/users/zjhmale/repos","events_url":"https://api.github.com/users/zjhmale/events{/privacy}","received_events_url":"https://api.github.com/users/zjhmale/received_events","type":"User","site_admin":false},"position":4,"line":121,"path":".travis.yml","commit_id":"bab7bca1f701a1758ccf1538f8e3b3dd18404347","created_at":"2016-08-27T15:18:34Z","updated_at":"2016-08-27T15:18:34Z","body":"i won't keep it, just want to trigger the CI server to rebuild 😅 "}}
{"actor":{"display_login":"zjhmale"}}