-
@davorminchorov Yeah, I share that thinking. Happens quite often that I push a new commit right after merging a PR. Or for example merging a lot of dependabot pull requests in a short amount of time. Those CI minutes would be gone in a couple of hours.