Skip to content

Monthly chores: Remove redirect hops#52778

Merged
gewarren merged 1 commit intomainfrom
cleanrepo-remove-hops
Apr 2, 2026
Merged

Monthly chores: Remove redirect hops#52778
gewarren merged 1 commit intomainfrom
cleanrepo-remove-hops

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Apr 1, 2026

Remove redirect hops, for example, if a -> b and b -> c, replace a -> b with a -> c. Contributes to #...

@github-actions github-actions bot requested a review from a team as a code owner April 1, 2026 01:38
@dotnetrepoman dotnetrepoman bot added this to the April 2026 milestone Apr 1, 2026
@BillWagner BillWagner closed this Apr 1, 2026
@BillWagner BillWagner reopened this Apr 1, 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 f617b5b into main Apr 2, 2026
12 checks passed
@gewarren gewarren deleted the cleanrepo-remove-hops branch April 2, 2026 17:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants