_stefanzweifel’s avatar_stefanzweifel’s Twitter Archive—№ 1,787

  1. …in reply to @davorminchorov
    @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.