[GitHub] [tvm] Mousius commented on a change in pull request #10685: [ci] Look for any tags in issues before adding new tags

[GitBox <gi...@apache.org>]

Mousius commented on a change in pull request #10685:
URL: https://github.com/apache/tvm/pull/10685#discussion_r840685749



##########
File path: tests/scripts/github_tag_teams.py
##########
@@ -244,6 +244,9 @@ def gen_cc_line(users):
     to_cc = [teams.get(t, []) for t in tags]
     to_cc = list(set(item for sublist in to_cc for item in sublist))
     to_cc = [user for user in to_cc if user != author]
+    existing_tags = list(set(re.findall(r"@[a-zA-Z0-9]+\w", body)))

Review comment:
       This misses `-` which can validly exist in a GitHub username (see https://github.com/paddy-hack and https://github.com/shinnn/github-username-regex), could you add it?
   
   Also does this work if the `@Mousius` is right at the end of the line with no trailing whitespace?




-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org