mirror of
https://github.com/pytorch/pytorch.git
synced 2025-11-03 15:35:04 +08:00
350fb16f47
Minor QoL improvement Pull Request resolved: https://github.com/pytorch/pytorch/pull/107603 Approved by: https://github.com/kit1980, https://github.com/ZainRizvi
36 lines
1.0 KiB
Python
36 lines
1.0 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. If you believe this is a mistake,"
|
|
+ f" then you can re trigger it through [pytorch-bot]({BOT_COMMANDS_WIKI})."
|
|
)
|
|
|
|
gh_post_pr_comment(org, project, args.pr_num, msg)
|
|
print(org, project, args.pr_num, msg)
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|