Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Monthly chores: Remove redirect hops #44118

Merged
merged 2 commits into from
Jan 7, 2025
Merged

Monthly chores: Remove redirect hops #44118

merged 2 commits into from
Jan 7, 2025

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jan 1, 2025

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 January 1, 2025 01:34
@dotnetrepoman dotnetrepoman bot added this to the January 2025 milestone Jan 1, 2025
@BillWagner BillWagner closed this Jan 6, 2025
@BillWagner BillWagner reopened this Jan 6, 2025
@BillWagner
Copy link
Member

@gewarren

Do you have a recommendation on which redirection should redirect the document ID?

@gewarren gewarren enabled auto-merge (squash) January 7, 2025 18:42
@gewarren gewarren merged commit d4382e1 into main Jan 7, 2025
8 checks passed
@gewarren gewarren deleted the cleanrepo-remove-hops branch January 7, 2025 18:47
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