ci: block merging PRs that increase technical debt unless reviewed#38228

kim-em wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

kim-em:prevent-technical-debt-2-independentkim-em/mathlib4:prevent-technical-debt-2-independentCopy head branch name to clipboard