PR numbers are duplicated in the merge queue

Open cofyc opened this issue 6 years ago • 2 comments

Here is an example:

Mar 31 '20 06:03 cofyc

This is caused by two people commenting /merge for the same PR.

Mar 31 '20 06:03 DanielZhangQD

Although this will not cause any bad effects, it's not expected.

Apr 01 '20 06:04 you06