bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Tidy

Browse source
This commit is contained in:
Oliver Scherer 2018-12-20 14:29:42 +01:00
parent a4c317ef98
commit b454474c84
1 changed files with 10 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/tools/publish_toolstate.py
View file

@ -75,7 +75,8 @@ def issue(
After merging PR {}, I observed that the tool {} no longer builds. After merging PR {}, I observed that the tool {} no longer builds.
A follow-up PR to the repository {} is needed to fix the fallout. A follow-up PR to the repository {} is needed to fix the fallout.
cc @{}, do you think you would have time to do the follow-up work? If so, that would be great! cc @{}, do you think you would have time to do the follow-up work?
If so, that would be great!
cc @{}, the PR reviewer, and @rust-lang/compiler -- nominating for prioritization. cc @{}, the PR reviewer, and @rust-lang/compiler -- nominating for prioritization.
@ -144,7 +145,10 @@ def update_latest(
build_failed = True build_failed = True
if build_failed: if build_failed:
issue(tool, MAINTAINERS.get(tool), relevant_pr_number, relevant_pr_user, pr_reviewer) issue(
tool, MAINTAINERS.get(tool),
relevant_pr_number, relevant_pr_user, pr_reviewer,
)
if changed: if changed:
status['commit'] = current_commit status['commit'] = current_commit
@ -168,7 +172,10 @@ if __name__ == '__main__':
github_token = sys.argv[4] github_token = sys.argv[4]
# assume that PR authors are also owners of the repo where the branch lives # assume that PR authors are also owners of the repo where the branch lives
relevant_pr_match = re.search('Auto merge of #([0-9]+) - ([^:]+):[^,]+ r=([^\s]+)', cur_commit_msg) relevant_pr_match = re.search(
'Auto merge of #([0-9]+) - ([^:]+):[^,]+ r=([^\s]+)',
cur_commit_msg,
)
if relevant_pr_match: if relevant_pr_match:
number = relevant_pr_match.group(1) number = relevant_pr_match.group(1)
relevant_pr_user = relevant_pr_match.group(2) relevant_pr_user = relevant_pr_match.group(2)