{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/235","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/235/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/235/comments","events_url":"https://api.github.com/repos/coq/coq/issues/235/events","html_url":"https://github.com/coq/coq/pull/235","id":163570536,"number":235,"title":"fix bug 4660","user":{"login":"DanGrayson","id":700228,"avatar_url":"https://avatars.githubusercontent.com/u/700228?v=3","gravatar_id":"","url":"https://api.github.com/users/DanGrayson","html_url":"https://github.com/DanGrayson","followers_url":"https://api.github.com/users/DanGrayson/followers","following_url":"https://api.github.com/users/DanGrayson/following{/other_user}","gists_url":"https://api.github.com/users/DanGrayson/gists{/gist_id}","starred_url":"https://api.github.com/users/DanGrayson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DanGrayson/subscriptions","organizations_url":"https://api.github.com/users/DanGrayson/orgs","repos_url":"https://api.github.com/users/DanGrayson/repos","events_url":"https://api.github.com/users/DanGrayson/events{/privacy}","received_events_url":"https://api.github.com/users/DanGrayson/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/coq/coq/labels/needs_review","name":"needs_review","color":"d93f0b"}],"state":"open","locked":false,"assignee":{"login":"gares","id":1013846,"avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=3","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false},"assignees":[{"login":"gares","id":1013846,"avatar_url":"https://avatars.githubusercontent.com/u/1013846?v=3","gravatar_id":"","url":"https://api.github.com/users/gares","html_url":"https://github.com/gares","followers_url":"https://api.github.com/users/gares/followers","following_url":"https://api.github.com/users/gares/following{/other_user}","gists_url":"https://api.github.com/users/gares/gists{/gist_id}","starred_url":"https://api.github.com/users/gares/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gares/subscriptions","organizations_url":"https://api.github.com/users/gares/orgs","repos_url":"https://api.github.com/users/gares/repos","events_url":"https://api.github.com/users/gares/events{/privacy}","received_events_url":"https://api.github.com/users/gares/received_events","type":"User","site_admin":false}],"milestone":null,"comments":2,"created_at":"2016-07-03T17:01:26Z","updated_at":"2016-07-04T04:37:27Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/coq/coq/pulls/235","html_url":"https://github.com/coq/coq/pull/235","diff_url":"https://github.com/coq/coq/pull/235.diff","patch_url":"https://github.com/coq/coq/pull/235.patch"},"body":"Bug title:\r\n\r\n  coq_makefile erroneously generates separate rules for %.vo and %.glob\r\n\r\nSee https://coq.inria.fr/bugs/show_bug.cgi?id=4660 for a complete\r\ndiscussion.  This implements exactly what was discussed there, and it\r\nworks for me."},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/230203152","html_url":"https://github.com/coq/coq/pull/235#issuecomment-230203152","issue_url":"https://api.github.com/repos/coq/coq/issues/235","id":230203152,"user":{"login":"silene","id":1674458,"avatar_url":"https://avatars.githubusercontent.com/u/1674458?v=3","gravatar_id":"","url":"https://api.github.com/users/silene","html_url":"https://github.com/silene","followers_url":"https://api.github.com/users/silene/followers","following_url":"https://api.github.com/users/silene/following{/other_user}","gists_url":"https://api.github.com/users/silene/gists{/gist_id}","starred_url":"https://api.github.com/users/silene/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/silene/subscriptions","organizations_url":"https://api.github.com/users/silene/orgs","repos_url":"https://api.github.com/users/silene/repos","events_url":"https://api.github.com/users/silene/events{/privacy}","received_events_url":"https://api.github.com/users/silene/received_events","type":"User","site_admin":false},"created_at":"2016-07-04T04:37:27Z","updated_at":"2016-07-04T04:37:27Z","body":"The idea is sound, but why the `; @true` part? It does not make any difference for make's resolution algorithm, but it causes it to wastefully execute a shell and wait for its completion for each .v."}}
{"actor":{"display_login":"silene"}}