Comment by fschuett

I do want to check that a PR is green before merging, but I don't want to run CI on every pushed commit