Move the current milestone to 17.11, to stop incorrectly setting merged PRs in 17.10
Extend the number of labels we sync from issues to PRs when they merge
Add some space between tasks to make them easier to read
Update the list of milestones assigned to PRs when they merge to only those present in the repo, order them descending, and document how to keep this list up-to-date with a link to the current branches
Microsoft Reviewers: Open in CodeFlow