Skip to content

Skip pushing branches with queued PRs#13

Merged
skarim merged 1 commit into
mainfrom
skarim/skip-queued-prs
Apr 9, 2026
Merged

Skip pushing branches with queued PRs#13
skarim merged 1 commit into
mainfrom
skarim/skip-queued-prs

Skip pushing branches with queued PRs

dcb5885
Select commit
Loading
Failed to load commit list.