Merge pull request #5085 from ralfhandl/main-fix-check-restricted-files
main: fix check-restricted-files, diff local head with remote base branch
M
Miguel Quintero committed
81c277e05685111cfd1ac4798e2a2abcb7456f33
Committed by GitHub <[email protected]>
on 10/30/2025, 4:54:38 PM