Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[CI] Remove auto-merge label for version increment PRs (#30351)
These no longer work and it's recommended that we use GitHubs's built-in auto-merge functionality now. Signed-off-by: Paul Van Eck <[email protected]>
- Loading branch information