mirror of
https://github.com/pytorch/pytorch.git
synced 2025-10-20 21:14:14 +08:00
8db42e7688
To encourage people to reissue the command if merge timed out Pull Request resolved: https://github.com/pytorch/pytorch/pull/124947 Approved by: https://github.com/kit1980, https://github.com/clee2000
38 lines
1.2 KiB
Python
38 lines
1.2 KiB
Python
import os
|
|
from typing import Any
|
|
|
|
from github_utils import gh_post_pr_comment
|
|
from gitutils import get_git_remote_name, get_git_repo_dir, GitRepo
|
|
from trymerge_explainer import BOT_COMMANDS_WIKI
|
|
|
|
|
|
def parse_args() -> Any:
|
|
from argparse import ArgumentParser
|
|
|
|
parser = ArgumentParser("Comment on a PR")
|
|
parser.add_argument("pr_num", type=int)
|
|
parser.add_argument("action", type=str)
|
|
return parser.parse_args()
|
|
|
|
|
|
def main() -> None:
|
|
args = parse_args()
|
|
repo = GitRepo(get_git_repo_dir(), get_git_remote_name(), debug=True)
|
|
org, project = repo.gh_owner_and_name()
|
|
run_url = os.environ.get("GH_RUN_URL")
|
|
|
|
job_link = f"[job]({run_url})" if run_url is not None else "job"
|
|
msg = (
|
|
f"The {args.action} {job_link} was canceled or timed out. This most often happen if two merge requests were issued"
|
|
+ " for the same PR, or if merge job was waiting for more than 6 hours for tests to finish."
|
|
+ " In later case, please do not hesitate to reissue the merge command\n"
|
|
+ f" For more information see [pytorch-bot wiki]({BOT_COMMANDS_WIKI})."
|
|
)
|
|
|
|
gh_post_pr_comment(org, project, args.pr_num, msg)
|
|
print(org, project, args.pr_num, msg)
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|