Skip push workflows for Copilot PRs - #663

Skip push workflows for Copilot PRs#663

jackfirth merged 4 commits into

masterjackfirth/resyntax:masterfrom

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