diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index ef17d6fbd5db3..abcf14d90be15 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -171,7 +171,7 @@ def update_latest( # 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]+)', + r'Auto merge of #([0-9]+) - ([^:]+):[^,]+, r=(\S+)', cur_commit_msg, ) if relevant_pr_match: @@ -182,10 +182,10 @@ def update_latest( pr_reviewer = relevant_pr_match.group(3) else: number = '-1' - relevant_pr_user = '' + relevant_pr_user = 'ghost' relevant_pr_number = '' relevant_pr_url = '' - pr_reviewer = '' + pr_reviewer = 'ghost' message = update_latest( cur_commit,