Change protected-files policy to 'allowed' for labelops-pr-maintenance workflow#19783
Draft
Copilot wants to merge 2 commits into
Draft
Change protected-files policy to 'allowed' for labelops-pr-maintenance workflow#19783Copilot wants to merge 2 commits into
Copilot wants to merge 2 commits into
Conversation
…e workflow The workflow resolves merge conflicts by merging from main, which naturally includes changes to protected files. The previous 'fallback-to-issue' policy blocked these normal merge operations. The prompt still has "Never modify .github/**" as a hard rule to prevent the agent from inventing changes. Agent-Logs-Url: https://github.com/dotnet/fsharp/sessions/504efc52-c37e-4a2c-9492-b496e7061d77 Co-authored-by: T-Gro <46543583+T-Gro@users.noreply.github.com>
Copilot
AI
changed the title
[WIP] Fix command-line option warnings for protected files
Change protected-files policy to 'allowed' for labelops-pr-maintenance workflow
May 21, 2026
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.
The
labelops-pr-maintenanceworkflow merges frommainto resolve conflicts, which naturally includes upstream changes to protected files in the merge commit. Thefallback-to-issuepolicy was treating these as agent-invented modifications and blocking the push.protected-files: fallback-to-issue→protected-files: allowedin safe-outputs configThe prompt-level hard rule ("Never modify
.github/**") remains the guardrail against the agent inventing changes to protected files. The safe-outputs enforcement is the wrong layer for this — merge commits from upstream are not agent decisions.