Skip to content

Revert "Remove dn-bot-devdiv-drop-r-code-r PAT from secret manifest"#16793

Merged
premun merged 1 commit into
mainfrom
revert-16779-dev/mjanecke/remove-devdiv-drop-pat-10147
May 12, 2026
Merged

Revert "Remove dn-bot-devdiv-drop-r-code-r PAT from secret manifest"#16793
premun merged 1 commit into
mainfrom
revert-16779-dev/mjanecke/remove-devdiv-drop-pat-10147

Conversation

@premun
Copy link
Copy Markdown
Member

@premun premun commented May 12, 2026

Reverts #16779 because dotnet/dotnet#6486 is still open

@premun premun merged commit 934cbc1 into main May 12, 2026
2 of 7 checks passed
@premun premun deleted the revert-16779-dev/mjanecke/remove-devdiv-drop-pat-10147 branch May 12, 2026 12:35
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.

1 participant