{"action":"created","issue":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3029","repository_url":"https://api.github.com/repos/idris-lang/Idris-dev","labels_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3029/labels{/name}","comments_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3029/comments","events_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3029/events","html_url":"https://github.com/idris-lang/Idris-dev/pull/3029","id":139431391,"number":3029,"title":"Fix example with lower case parameter.","user":{"login":"xash","id":190878,"avatar_url":"https://avatars.githubusercontent.com/u/190878?v=3","gravatar_id":"","url":"https://api.github.com/users/xash","html_url":"https://github.com/xash","followers_url":"https://api.github.com/users/xash/followers","following_url":"https://api.github.com/users/xash/following{/other_user}","gists_url":"https://api.github.com/users/xash/gists{/gist_id}","starred_url":"https://api.github.com/users/xash/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xash/subscriptions","organizations_url":"https://api.github.com/users/xash/orgs","repos_url":"https://api.github.com/users/xash/repos","events_url":"https://api.github.com/users/xash/events{/privacy}","received_events_url":"https://api.github.com/users/xash/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-03-09T00:00:29Z","updated_at":"2016-03-24T17:11:30Z","closed_at":"2016-03-24T17:11:30Z","pull_request":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/pulls/3029","html_url":"https://github.com/idris-lang/Idris-dev/pull/3029","diff_url":"https://github.com/idris-lang/Idris-dev/pull/3029.diff","patch_url":"https://github.com/idris-lang/Idris-dev/pull/3029.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/comments/200931503","html_url":"https://github.com/idris-lang/Idris-dev/pull/3029#issuecomment-200931503","issue_url":"https://api.github.com/repos/idris-lang/Idris-dev/issues/3029","id":200931503,"user":{"login":"edwinb","id":255926,"avatar_url":"https://avatars.githubusercontent.com/u/255926?v=3","gravatar_id":"","url":"https://api.github.com/users/edwinb","html_url":"https://github.com/edwinb","followers_url":"https://api.github.com/users/edwinb/followers","following_url":"https://api.github.com/users/edwinb/following{/other_user}","gists_url":"https://api.github.com/users/edwinb/gists{/gist_id}","starred_url":"https://api.github.com/users/edwinb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/edwinb/subscriptions","organizations_url":"https://api.github.com/users/edwinb/orgs","repos_url":"https://api.github.com/users/edwinb/repos","events_url":"https://api.github.com/users/edwinb/events{/privacy}","received_events_url":"https://api.github.com/users/edwinb/received_events","type":"User","site_admin":false},"created_at":"2016-03-24T17:11:30Z","updated_at":"2016-03-24T17:11:30Z","body":"Closing since #3034 fixes this in the preferred way. Thanks for drawing our attention to it though, @xash"}}