{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/100","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/100/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/100/comments","events_url":"https://api.github.com/repos/coq/coq/issues/100/events","html_url":"https://github.com/coq/coq/pull/100","id":105768084,"number":100,"title":"fresh now accepts more things than just identifiers.","user":{"login":"Matafou","id":4924906,"avatar_url":"https://avatars.githubusercontent.com/u/4924906?v=3","gravatar_id":"","url":"https://api.github.com/users/Matafou","html_url":"https://github.com/Matafou","followers_url":"https://api.github.com/users/Matafou/followers","following_url":"https://api.github.com/users/Matafou/following{/other_user}","gists_url":"https://api.github.com/users/Matafou/gists{/gist_id}","starred_url":"https://api.github.com/users/Matafou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Matafou/subscriptions","organizations_url":"https://api.github.com/users/Matafou/orgs","repos_url":"https://api.github.com/users/Matafou/repos","events_url":"https://api.github.com/users/Matafou/events{/privacy}","received_events_url":"https://api.github.com/users/Matafou/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-09-10T09:24:45Z","updated_at":"2016-06-17T12:37:49Z","closed_at":"2016-06-16T13:10:41Z","pull_request":{"url":"https://api.github.com/repos/coq/coq/pulls/100","html_url":"https://github.com/coq/coq/pull/100","diff_url":"https://github.com/coq/coq/pull/100.diff","patch_url":"https://github.com/coq/coq/pull/100.patch"},"body":"Namely, it accepts, variables, constants, inductives, constructors (and sorts).\r\nWhen these have a qualified name, the fresh is done on its basename.\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/226757917","html_url":"https://github.com/coq/coq/pull/100#issuecomment-226757917","issue_url":"https://api.github.com/repos/coq/coq/issues/100","id":226757917,"user":{"login":"Matafou","id":4924906,"avatar_url":"https://avatars.githubusercontent.com/u/4924906?v=3","gravatar_id":"","url":"https://api.github.com/users/Matafou","html_url":"https://github.com/Matafou","followers_url":"https://api.github.com/users/Matafou/followers","following_url":"https://api.github.com/users/Matafou/following{/other_user}","gists_url":"https://api.github.com/users/Matafou/gists{/gist_id}","starred_url":"https://api.github.com/users/Matafou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Matafou/subscriptions","organizations_url":"https://api.github.com/users/Matafou/orgs","repos_url":"https://api.github.com/users/Matafou/repos","events_url":"https://api.github.com/users/Matafou/events{/privacy}","received_events_url":"https://api.github.com/users/Matafou/received_events","type":"User","site_admin":false},"created_at":"2016-06-17T12:37:49Z","updated_at":"2016-06-17T12:37:49Z","body":"No. You are not the first one to suggest this but it is not implemented in this patch AFAIK. It would be nice indeed. I am afraid it is too late for 8.6 but someone should report this as a feature wish.\r\n\r\nP."}}
{"actor":{"display_login":"Matafou"}}