Re: [PATCH 1/2] ci: allow branch selection through "vars"

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sep 5, 2023, 10:51 UTC
Message-ID: <44a5d2d4-a6f1-7259-504e-269ee389c8ea@gmx.de>
In-Reply-To: <20230905073013.GI199565@coredump.intra.peff.net>

Hi Jeff,

On Tue, 5 Sep 2023, Jeff King wrote:

Show 7 quoted lines

> [...] coupled with Phillip's use cases in the other part of the thread,
> maybe we should have a JSON-formatted CI_CONFIG variable instead.
>
> That requires the developer to hand-write a bit of JSON, but it's not
> too bad (and again, I really think it's only a couple folks using this).
>
> What do you think?

Thank you for asking my opinion. The `[no ci]` support described in https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/ solves the problem adequately and with a lot less complexity than the current or the `vars.`-based solution. In my opinion.

Ciao, Johannes