Hi Peff
On 11/09/2023 10:36, Jeff King wrote:
On Thu, Sep 07, 2023 at 11:04:33AM +0100, Phillip Wood wrote:
Looking at the ci-config branch of phillipwood/git.git, I see this in
your allow-refs:
refs/heads/main|refs/heads/master|refs/heads/maint|refs/heads/next|refs/heads/seen|refs/tags/gitgui-*|refs/tags/pr-[0-9]*|refs/tags/v[1-9].*)
So you do use multiple prefixes, though all in refs/tags/. Do you
actually push tags for which you do want to run CI,
Yes, but not very often - I could probably just reject all tags and
start the CI manually when I want it (assuming that's an option). Thanks
for digging into the various options, it sounds like it is possible so
long as we don't want multiple prefixes.
Aside: what I'd really like is to be able to set an environment variable
when I push to skip or force the CI
GITHUB_SKIP_CI=1 git push github ...
but that would require support from the git client, the protocol and the
server.
Best Wishes
Phillip
