Make @ optional in "r? username" comments

This allows PR descriptions to include instructions like "r? mbrubeck" without sending extraneous email when the PR is merged to other repos.
servo · Aug 29, 2017 · 3ae66d8 · 3ae66d8
1 parent 10a63c1
commit 3ae66d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/handlers/assign_reviewer/__init__.py b/handlers/assign_reviewer/__init__.py
@@ -15,7 +15,7 @@ def find_reviewer(comment):
     If the user specified a reviewer, return the username,
     otherwise returns None.
     """
-    reviewer = re.search(r'.*r\?[:\- ]*@([a-zA-Z0-9\-]*)', str(comment))
+    reviewer = re.search(r'.*r\?[:\- ]*@?([a-zA-Z0-9\-]+)', str(comment))
     if reviewer:
         return reviewer.group(1)
     return None