Some fixes found by cleanrepo run #6977
dotnetrepoman[bot]do-not-merge-label-check.yml
on: pull_request
Matrix: labels-preventing-merge-check
Annotations
1 notice
|
labels-preventing-merge-check (DO NOT MERGE)
Merging permission is diabled for PRs when the 'DO NOT MERGE' label is applied.
|