Hi Jeff, On Tue, 5 Sep 2023, Jeff King wrote: > [...] 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
