Skip to content

Delete xml/index.xml#12601

Merged
gewarren merged 1 commit intomainfrom
gewarren-patch-3
May 7, 2026
Merged

Delete xml/index.xml#12601
gewarren merged 1 commit intomainfrom
gewarren-patch-3

Conversation

@gewarren
Copy link
Copy Markdown
Contributor

@gewarren gewarren commented May 6, 2026

I don't think this file is used anymore. It was last updated by the CI pipeline in 2019.

I don't think this file is used anymore. It was last updated by the CI pipeline in 2019.
Copilot AI review requested due to automatic review settings May 6, 2026 19:29
@gewarren gewarren requested a review from a team as a code owner May 6, 2026 19:29
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.

@github-actions github-actions Bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label May 6, 2026
Copy link
Copy Markdown
Member

@BillWagner BillWagner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This LGTM.

@gewarren gewarren merged commit 354a615 into main May 7, 2026
8 checks passed
@gewarren gewarren deleted the gewarren-patch-3 branch May 7, 2026 15:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants