ci: bridge GitHub PRs to Azure DevOps for notifications#10
Merged
talagrand merged 1 commit intomicrosoft:mainfrom Dec 3, 2025
Merged
ci: bridge GitHub PRs to Azure DevOps for notifications#10talagrand merged 1 commit intomicrosoft:mainfrom
talagrand merged 1 commit intomicrosoft:mainfrom
