{"action":"created","issue":{"url":"https://api.github.com/repos/Template-Coq/template-coq/issues/53","repository_url":"https://api.github.com/repos/Template-Coq/template-coq","labels_url":"https://api.github.com/repos/Template-Coq/template-coq/issues/53/labels{/name}","comments_url":"https://api.github.com/repos/Template-Coq/template-coq/issues/53/comments","events_url":"https://api.github.com/repos/Template-Coq/template-coq/issues/53/events","html_url":"https://github.com/Template-Coq/template-coq/pull/53","id":329788568,"node_id":"MDExOlB1bGxSZXF1ZXN0MTkyOTUyNzMy","number":53,"title":"Add configuration class with option to disable universe checking","user":{"login":"TheoWinterhalter","id":5960860,"node_id":"MDQ6VXNlcjU5NjA4NjA=","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":3,"created_at":"2018-06-06T09:28:40Z","updated_at":"2018-06-06T10:55:00Z","closed_at":"2018-06-06T09:51:26Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/Template-Coq/template-coq/pulls/53","html_url":"https://github.com/Template-Coq/template-coq/pull/53","diff_url":"https://github.com/Template-Coq/template-coq/pull/53.diff","patch_url":"https://github.com/Template-Coq/template-coq/pull/53.patch"},"body":"I'm not sure if I'm pushing to the right branch but it appears master is the new coq-trunk.\r\nI'm confused because my changes don't appear anymore, but I guess rebase is responsible…\r\n\r\nAnyway, I hope I added the file the right way, adding one file requires so many changes for extraction."},"comment":{"url":"https://api.github.com/repos/Template-Coq/template-coq/issues/comments/395027496","html_url":"https://github.com/Template-Coq/template-coq/pull/53#issuecomment-395027496","issue_url":"https://api.github.com/repos/Template-Coq/template-coq/issues/53","id":395027496,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NTAyNzQ5Ng==","user":{"login":"mattam82","id":98373,"node_id":"MDQ6VXNlcjk4Mzcz","avatar_url":"https://avatars1.githubusercontent.com/u/98373?v=4","gravatar_id":"","url":"https://api.github.com/users/mattam82","html_url":"https://github.com/mattam82","followers_url":"https://api.github.com/users/mattam82/followers","following_url":"https://api.github.com/users/mattam82/following{/other_user}","gists_url":"https://api.github.com/users/mattam82/gists{/gist_id}","starred_url":"https://api.github.com/users/mattam82/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mattam82/subscriptions","organizations_url":"https://api.github.com/users/mattam82/orgs","repos_url":"https://api.github.com/users/mattam82/repos","events_url":"https://api.github.com/users/mattam82/events{/privacy}","received_events_url":"https://api.github.com/users/mattam82/received_events","type":"User","site_admin":false},"created_at":"2018-06-06T10:55:00Z","updated_at":"2018-06-06T10:55:00Z","author_association":"CONTRIBUTOR","body":"Hmm, how come it doesn’t ?\nLe mer. 6 juin 2018 à 12:09, Théo Winterhalter <notifications@github.com> a\nécrit :\n\n> You're right. It used to be the case that infer relied on check_leq, this\n> seems no longer to be the case. I should make the correct changes.\n>\n> —\n> You are receiving this because you are subscribed to this thread.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/Template-Coq/template-coq/pull/53#issuecomment-395017551>,\n> or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/AAGARUw8F4AX-02dygUo52fqdhxthy9zks5t56o-gaJpZM4UcTrb>\n> .\n>\n"}}
{"actor":{"display_login":"mattam82"}}