Skip pushing branches with queued PRs#13

skarim merged 1 commit intomaingithub/gh-stack:mainfrom

skarim/skip-queued-prsgithub/gh-stack:skarim/skip-queued-prsCopy head branch name to clipboard