{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2176","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2176/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2176/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2176/events","html_url":"https://github.com/idris-lang/Idris-dev/issues/2176","id":70179670,"number":2176,"title":":doc should show totality status","user":{"login":"david-christiansen","id":115330,"avatar_url":"https://avatars.githubusercontent.com/u/115330?v=3","gravatar_id":"","url":"https://api.github.com/users/david-christiansen","html_url":"https://github.com/david-christiansen","followers_url":"https://api.github.com/users/david-christiansen/followers","following_url":"https://api.github.com/users/david-christiansen/following{/other_user}","gists_url":"https://api.github.com/users/david-christiansen/gists{/gist_id}","starred_url":"https://api.github.com/users/david-christiansen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-christiansen/subscriptions","organizations_url":"https://api.github.com/users/david-christiansen/orgs","repos_url":"https://api.github.com/users/david-christiansen/repos","events_url":"https://api.github.com/users/david-christiansen/events{/privacy}","received_events_url":"https://api.github.com/users/david-christiansen/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/Feature%20request","name":"Feature request","color":"207de5"},{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/Low%20hanging%20fruit","name":"Low hanging fruit","color":"5319e7"},{"url":"https://api.github.com/repos/idris-lang/Idris-dev/labels/Patches%20welcome!","name":"Patches welcome!","color":"207de5"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2015-04-22T16:55:43Z","updated_at":"2015-06-13T19:03:14Z","closed_at":null,"body":"`:doc` should show Idris's take on totality."},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/111740784","html_url":"https://github.com/idris-lang/Idris-dev/issues/2176#issuecomment-111740784","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/2176","id":111740784,"user":{"login":"david-christiansen","id":115330,"avatar_url":"https://avatars.githubusercontent.com/u/115330?v=3","gravatar_id":"","url":"https://api.github.com/users/david-christiansen","html_url":"https://github.com/david-christiansen","followers_url":"https://api.github.com/users/david-christiansen/followers","following_url":"https://api.github.com/users/david-christiansen/following{/other_user}","gists_url":"https://api.github.com/users/david-christiansen/gists{/gist_id}","starred_url":"https://api.github.com/users/david-christiansen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-christiansen/subscriptions","organizations_url":"https://api.github.com/users/david-christiansen/orgs","repos_url":"https://api.github.com/users/david-christiansen/repos","events_url":"https://api.github.com/users/david-christiansen/events{/privacy}","received_events_url":"https://api.github.com/users/david-christiansen/received_events","type":"User","site_admin":false},"created_at":"2015-06-13T19:03:14Z","updated_at":"2015-06-13T19:03:14Z","body":"Thank you!"}}