Create a prompt file for doing the monthly mirror check.#53902
Merged
marcpopMSFT merged 3 commits intomainfrom Apr 17, 2026
Merged
Create a prompt file for doing the monthly mirror check.#53902marcpopMSFT merged 3 commits intomainfrom
marcpopMSFT merged 3 commits intomainfrom
Conversation
Contributor
There was a problem hiding this comment.
Pull request overview
Adds a GitHub Copilot prompt file to guide a recurring “monthly mirror check” verifying that public dotnet/sdk and dotnet/installer release branches are mirrored to corresponding internal/release/* branches in Azure DevOps.
Changes:
- Introduces a new prompt with a branch mapping table for GitHub ↔ AzDo.
- Documents a step-by-step procedure to fetch latest GitHub commits and validate AzDo mirror status.
- Adds troubleshooting guidance for AzDo MCP connectivity issues.
Member
Author
|
NikolaMilosavljevic
approved these changes
Apr 16, 2026
Member
Author
|
/ba-g no build needed. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Every month, we do branding changes in 8 and 9. After the branding changes, we start approving codeflow PRs. The thing is, those codeflow PRs modify the nuget.config file which then conflicts with the internal flow we've gotten from the runtime repos.
This triggers issues getting filed like dotnet/installer#20832 as the mirror to internal/release/* gets broken.
This typically get resolved when we do the internal to public merges on release day. To confirm that though, someone has to go through every single internal/release branch and compare the commits to the public release/* branch to make sure the mirror is working again. I created this prompt to have the agent do it for me. You'll need dnceng and GH configured through MCP servers for this to work.