Skip to content

Gate the repository a gh pr create is actually for - #49

Merged
alexander-yevsyukov merged 18 commits into
masterfrom
gate-cross-repo-pr
Oct 19, 2026
Merged

Gate the repository a gh pr create is actually for#49
alexander-yevsyukov merged 18 commits into
masterfrom
gate-cross-repo-pr

Withhold the exemption from extglob targets

1861ae0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar