Skip push workflows for Copilot PRs#663

jackfirth merged 4 commits intomasterjackfirth/resyntax:masterfrom

copilot/skip-push-workflows-for-copilotjackfirth/resyntax:copilot/skip-push-workflows-for-copilotCopy head branch name to clipboard