kodiak
kodiak copied to clipboard
fix(bot): priority merge being lost on PR requeue
When a PR is marked as "priority merge", we place it at the front of the merge queue by setting it's score to 0. This works. However, we weren't supporting this feature when re-queuing the PR.
This change adds support for priority merge when re-queueing PRs.
related #670