Release tooling: Add label all patch PRs on stable promotions, fix sync of version files#23491
Merged
JReinhold merged 12 commits intonextfrom fix-release-promotionsJul 24, 2023
+246-161
Commits
Commits on Jul 18, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
