pr-batch: do not chase reviewer re-review prompts when the merge gate is already satisfied - #708
Closed
justin808 wants to merge 1 commit into
Closed
pr-batch: do not chase reviewer re-review prompts when the merge gate is already satisfied#708justin808 wants to merge 1 commit into
justin808 wants to merge 1 commit into