> On 29 Sep 2023, at 11:13, Peter Eisentraut <peter@eisentraut.org> wrote:
> Does anyone have an idea how to manage this better? Is there maybe a way to globally set "only trigger manually", or
couldwe make one?
On my personal repo I only build via doing pull-requests, such that I can
control when and what is built and rate-limit myself that way. Using the
Github CLI client it's quite easy to script "push-and-build". Not sure if it's
better, it's just what I got used to from doing personal CI on Github before we
had Cirrus support in the tree.
--
Daniel Gustafsson