mirror of
https://github.com/pytorch/pytorch.git
synced 2025-10-20 21:14:14 +08:00
[mergebot] No unique behavior for facebook bot re pending jobs (#119735)
if fb bot says merge without -f, do normal behavior and wait for pending checks Pull Request resolved: https://github.com/pytorch/pytorch/pull/119735 Approved by: https://github.com/izaitsevfb, https://github.com/huydhn
This commit is contained in:
committed by
PyTorch MergeBot
parent
8ec3d8e35f
commit
34638c82a6
3
.github/scripts/trymerge.py
vendored
3
.github/scripts/trymerge.py
vendored
@ -2083,8 +2083,7 @@ def merge(
|
||||
|
||||
check_for_sev(pr.org, pr.project, skip_mandatory_checks)
|
||||
|
||||
if skip_mandatory_checks or can_skip_internal_checks(pr, comment_id):
|
||||
# do not wait for any pending signals if PR is closed as part of co-development process
|
||||
if skip_mandatory_checks:
|
||||
gh_post_pr_comment(
|
||||
pr.org,
|
||||
pr.project,
|
||||
|
Reference in New Issue
Block a user