github-rebase-bot
github-rebase-bot copied to clipboard
prioritize approved PRs
it happens very often that we have 10 PRs all marked as LGTM but only one of them is approved and ready to be merged.
Since most CI systems have limited concurrency this may result in 9 PRs being rebased and re-run CI then 1 gets merged and all 9 have to run again.