> On 29 Sep 2023, at 11:13, Peter Eisentraut <pe...@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 could we 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