You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems that the backport tool does not cover this case: two PRs with to-be-backported label exist and one closed because of another one getting merged.
cupy/cupy#8221 automatically closed as "merged" because cupy/cupy#8412 got merged, which includes all commits from 8221.
This case can be detected by checking merged_by field from the pull-request API response. If it is null (like 8221), it indicates the PR was not merged but all commits in the PR got merged in another PR.
The text was updated successfully, but these errors were encountered:
cupy/cupy#8460 (comment)
cupy/cupy#8221 automatically closed as "merged" because cupy/cupy#8412 got merged, which includes all commits from 8221.
This case can be detected by checking
merged_by
field from the pull-request API response. If it isnull
(like 8221), it indicates the PR was not merged but all commits in the PR got merged in another PR.The text was updated successfully, but these errors were encountered: