frozenleaves/pytorch
1
0
Fork 0
mirror of https://github.com/pytorch/pytorch.git synced 2025-10-21 05:34:18 +08:00
Code Issues Packages Projects Releases Wiki Activity

[GHF] Fix force merge handling

Browse Source 
Pass `force` argument into `GitHub.merge_into`

Pull Request resolved: https://github.com/pytorch/pytorch/pull/74886

Approved by: https://github.com/seemethere
This commit is contained in:
Nikita Shulga
2022-03-28 20:40:34 -07:00
committed by PyTorch MergeBot
parent 00f2962e06
commit ddf8ffa15b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/scripts/trymerge.py vendored
View File

@ -691,7 +691,7 @@ def main() -> None:
return
try:
pr.merge_into(repo, dry_run=args.dry_run)
pr.merge_into(repo, dry_run=args.dry_run, force=args.force)
except Exception as e:
msg = f"Merge failed due to {e}"
run_url = os.getenv("GH_RUN_URL")