Clean up pr-build/* branches for closed PRs on trunk pushes#1321
Open
jkmassel wants to merge 1 commit into
Open
Clean up pr-build/* branches for closed PRs on trunk pushes#1321jkmassel wants to merge 1 commit into
pr-build/* branches for closed PRs on trunk pushes#1321jkmassel wants to merge 1 commit into