Couple of quick reminders: 1) If you are a committer, you don't have to [approve ci] on a PR, when you “git push”, it will trigger automatically.
2) You do however have to post a comment [approve ci] on non-committer PRs, to get them to trip. You can delete that comment after a few seconds if you like. 3) If for some reason you want to force a build of your PR, without “git push” to it, you can of course [approve ci] as well. tldr; Don’t [approve ci] on committer PRs, it’ll just kick off unnecessary builds in most cases. Cheers, — Leif
