{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/7301","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/7301/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/7301/comments","events_url":"https://api.github.com/repos/coq/coq/issues/7301/events","html_url":"https://github.com/coq/coq/pull/7301","id":315622610,"number":7301,"title":"[sphinx] Backport forgotten updates during the migration & other improvements","user":{"login":"Zimmi48","id":1108325,"avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"labels":[{"id":649046438,"url":"https://api.github.com/repos/coq/coq/labels/kind:%20documentation","name":"kind: documentation","color":"990000","default":false},{"id":485985650,"url":"https://api.github.com/repos/coq/coq/labels/kind:%20fix","name":"kind: fix","color":"d93f0b","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/coq/coq/milestones/13","html_url":"https://github.com/coq/coq/milestone/13","labels_url":"https://api.github.com/repos/coq/coq/milestones/13/labels","id":3260036,"number":13,"title":"8.8.1","description":"Should only contain bug fixes, documentation and infrastructure updates.","creator":{"login":"Zimmi48","id":1108325,"avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"open_issues":24,"closed_issues":11,"state":"open","created_at":"2018-04-11T19:58:13Z","updated_at":"2018-04-26T09:33:58Z","due_on":null,"closed_at":null},"comments":13,"created_at":"2018-04-18T20:03:31Z","updated_at":"2018-04-26T12:50:19Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/coq/coq/pulls/7301","html_url":"https://github.com/coq/coq/pull/7301","diff_url":"https://github.com/coq/coq/pull/7301.diff","patch_url":"https://github.com/coq/coq/pull/7301.patch"},"body":"<!-- Thank you for your contribution.\r\n     Make sure you read the contributing guide and fill this template. -->\r\n\r\nBackport forgotten updates during the migration + some other Sphinx fixes.\r\n\r\n<!-- Keep what applies -->\r\n**Kind:** documentation\r\n\r\n<!-- If this is a bug fix, make sure the bug was reported beforehand. -->\r\nFixes / closes #7123.\r\n\r\nIt was less bad than I expected."},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/384629380","html_url":"https://github.com/coq/coq/pull/7301#issuecomment-384629380","issue_url":"https://api.github.com/repos/coq/coq/issues/7301","id":384629380,"user":{"login":"Zimmi48","id":1108325,"avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"created_at":"2018-04-26T12:50:19Z","updated_at":"2018-04-26T12:50:19Z","author_association":"CONTRIBUTOR","body":"Note that there is still lots and lots to fix, just browsing the rst code is enough to find many problems. But this PR has already grown way too big so I can't continue adding to it. Moreover, the longer we wait until this is merged, the more conflicts there will be (in particular, because of the parts that were re-indented)."}}
{"actor":{"display_login":"Zimmi48"}}