payload: {"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/10003","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/10003/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/10003/comments","events_url":"https://api.github.com/repos/coq/coq/issues/10003/events","html_url":"https://github.com/coq/coq/pull/10003","id":437481168,"node_id":"MDExOlB1bGxSZXF1ZXN0MjczNzQ3NzM4","number":10003,"title":"[stdlib] Consolidate the standard library in its on directory.","user":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars2.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"labels":[{"id":698039170,"node_id":"MDU6TGFiZWw2OTgwMzkxNzA=","url":"https://api.github.com/repos/coq/coq/labels/part:%20standard%20library","name":"part: standard library","color":"dddddd","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/coq/coq/milestones/19","html_url":"https://github.com/coq/coq/milestone/19","labels_url":"https://api.github.com/repos/coq/coq/milestones/19/labels","id":4106758,"node_id":"MDk6TWlsZXN0b25lNDEwNjc1OA==","number":19,"title":"8.11+beta1","description":"","creator":{"login":"vbgl","id":2612464,"node_id":"MDQ6VXNlcjI2MTI0NjQ=","avatar_url":"https://avatars1.githubusercontent.com/u/2612464?v=4","gravatar_id":"","url":"https://api.github.com/users/vbgl","html_url":"https://github.com/vbgl","followers_url":"https://api.github.com/users/vbgl/followers","following_url":"https://api.github.com/users/vbgl/following{/other_user}","gists_url":"https://api.github.com/users/vbgl/gists{/gist_id}","starred_url":"https://api.github.com/users/vbgl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vbgl/subscriptions","organizations_url":"https://api.github.com/users/vbgl/orgs","repos_url":"https://api.github.com/users/vbgl/repos","events_url":"https://api.github.com/users/vbgl/events{/privacy}","received_events_url":"https://api.github.com/users/vbgl/received_events","type":"User","site_admin":false},"open_issues":71,"closed_issues":10,"state":"open","created_at":"2019-03-04T09:00:30Z","updated_at":"2019-04-26T12:12:20Z","due_on":null,"closed_at":null},"comments":8,"created_at":"2019-04-26T03:16:56Z","updated_at":"2019-04-26T14:35:00Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/coq/coq/pulls/10003","html_url":"https://github.com/coq/coq/pull/10003","diff_url":"https://github.com/coq/coq/pull/10003.diff","patch_url":"https://github.com/coq/coq/pull/10003.patch"},"body":"Not sure this is a good idea, however, it brings quite a bit of\r\nuniformity and will allow to build the stdlib with Dune as a regular\r\nlibrary.\r\n\r\nAlternatives are a bit cumbersome:\r\n\r\n- a fine-grained dependency chain is a bit tricky, and high maintenance,\r\n- a merge mode is not justified enough I think.\r\n\r\nI disabled the whitespace fixer as it would break git's renaming\r\nalgorithm.\r\n"},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/487079692","html_url":"https://github.com/coq/coq/pull/10003#issuecomment-487079692","issue_url":"https://api.github.com/repos/coq/coq/issues/10003","id":487079692,"node_id":"MDEyOklzc3VlQ29tbWVudDQ4NzA3OTY5Mg==","user":{"login":"SkySkimmer","id":2461932,"node_id":"MDQ6VXNlcjI0NjE5MzI=","avatar_url":"https://avatars1.githubusercontent.com/u/2461932?v=4","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"created_at":"2019-04-26T14:35:00Z","updated_at":"2019-04-26T14:35:00Z","author_association":"CONTRIBUTOR","body":">I have no opinion on the actual content of this PR, but I'll note that until now region history (git log -L or M-x vc-region-history; see https://stackoverflow.com/questions/23877281/see-history-of-region-in-git) on Coq source files has worked nicely (often going back to the CVS import in 2000). Giant renames tend to break region history, which isn't great.\r\n\r\nIt works fine for me. For instance selecting https://github.com/coq/coq/blob/ae4239d6a5f4afcd9b7321dba790ffd4a64994a1/interp/declare.ml#L108-L115 and running vc-region-history shows 3fcf0930874d7200f2503ac7084b1d6669d59540 908dcd613b12645f3b62bf44c2696b80a0b16940 etc, note that at the time of the second one declare.ml was in library/"}}
other: {"actor":{"display_login":"SkySkimmer"}}