From: Phillip Wood <phillip.wood123@gmail.com>
Date: Wed, 13 Sep 2023 15:16:48 GMT
Subject: Re: [PATCH 0/2] replacing ci/config/allow-ref with a repo variable
Message-ID: <59b423e9-d99e-4817-8a33-c50419593740@gmail.com>
In-Reply-To: <20230911093616.GA1605460@coredump.intra.peff.net>

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