{"action":"created","issue":{"url":"https://api.github.com/repos/TheoWinterhalter/template-coq/issues/9","repository_url":"https://api.github.com/repos/TheoWinterhalter/template-coq","labels_url":"https://api.github.com/repos/TheoWinterhalter/template-coq/issues/9/labels{/name}","comments_url":"https://api.github.com/repos/TheoWinterhalter/template-coq/issues/9/comments","events_url":"https://api.github.com/repos/TheoWinterhalter/template-coq/issues/9/events","html_url":"https://github.com/TheoWinterhalter/template-coq/pull/9","id":318394217,"number":9,"title":"[WIP Do not merge] Adding eliminators","user":{"login":"TheoWinterhalter","id":5960860,"avatar_url":"https://avatars3.githubusercontent.com/u/5960860?v=4","gravatar_id":"","url":"https://api.github.com/users/TheoWinterhalter","html_url":"https://github.com/TheoWinterhalter","followers_url":"https://api.github.com/users/TheoWinterhalter/followers","following_url":"https://api.github.com/users/TheoWinterhalter/following{/other_user}","gists_url":"https://api.github.com/users/TheoWinterhalter/gists{/gist_id}","starred_url":"https://api.github.com/users/TheoWinterhalter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TheoWinterhalter/subscriptions","organizations_url":"https://api.github.com/users/TheoWinterhalter/orgs","repos_url":"https://api.github.com/users/TheoWinterhalter/repos","events_url":"https://api.github.com/users/TheoWinterhalter/events{/privacy}","received_events_url":"https://api.github.com/users/TheoWinterhalter/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-04-27T12:38:54Z","updated_at":"2018-05-14T15:15:32Z","closed_at":"2018-05-14T15:15:32Z","author_association":"OWNER","pull_request":{"url":"https://api.github.com/repos/TheoWinterhalter/template-coq/pulls/9","html_url":"https://github.com/TheoWinterhalter/template-coq/pull/9","diff_url":"https://github.com/TheoWinterhalter/template-coq/pull/9.diff","patch_url":"https://github.com/TheoWinterhalter/template-coq/pull/9.patch"},"body":"This is work in progress, I only open this PR to keep track of the changes made so far.\r\n\r\nI am adding the type of eliminators, which implies a lot of overhead."},"comment":{"url":"https://api.github.com/repos/TheoWinterhalter/template-coq/issues/comments/388854290","html_url":"https://github.com/TheoWinterhalter/template-coq/pull/9#issuecomment-388854290","issue_url":"https://api.github.com/repos/TheoWinterhalter/template-coq/issues/9","id":388854290,"user":{"login":"TheoWinterhalter","id":5960860,"avatar_url":"https://avatars3.githubusercontent.com/u/5960860?v=4","gravatar_id":"","url":"https://api.github.com/users/TheoWinterhalter","html_url":"https://github.com/TheoWinterhalter","followers_url":"https://api.github.com/users/TheoWinterhalter/followers","following_url":"https://api.github.com/users/TheoWinterhalter/following{/other_user}","gists_url":"https://api.github.com/users/TheoWinterhalter/gists{/gist_id}","starred_url":"https://api.github.com/users/TheoWinterhalter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TheoWinterhalter/subscriptions","organizations_url":"https://api.github.com/users/TheoWinterhalter/orgs","repos_url":"https://api.github.com/users/TheoWinterhalter/repos","events_url":"https://api.github.com/users/TheoWinterhalter/events{/privacy}","received_events_url":"https://api.github.com/users/TheoWinterhalter/received_events","type":"User","site_admin":false},"created_at":"2018-05-14T15:15:32Z","updated_at":"2018-05-14T15:15:32Z","author_association":"OWNER","body":"I will give up on this (for now at least)."}}
{"actor":{"display_login":"TheoWinterhalter"}}