[tvm] branch main updated: [ci][tvmbot] Search more users when checking usernames (#12491)

[kp...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

kparzysz pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git


The following commit(s) were added to refs/heads/main by this push:
     new 72b0f5ee34 [ci][tvmbot] Search more users when checking usernames (#12491)
72b0f5ee34 is described below

commit 72b0f5ee34be6acfadf7afc61264eef42b78c789
Author: driazati <94...@users.noreply.github.com>
AuthorDate: Thu Aug 18 17:12:12 2022 -0600

    [ci][tvmbot] Search more users when checking usernames (#12491)
    
    To figure out a user's association with the repo this code before
    searched the associations in the repo filtered by the relevant username.
    GitHub doesn't return the exact match only though, so we have to instead
    collect many results and search through all of them.
    
    Co-authored-by: driazati <dr...@users.noreply.github.com>
---
 tests/scripts/github_tvmbot.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/scripts/github_tvmbot.py b/tests/scripts/github_tvmbot.py
index ecda871123..3a39e69694 100755
--- a/tests/scripts/github_tvmbot.py
+++ b/tests/scripts/github_tvmbot.py
@@ -49,7 +49,7 @@ def to_json_str(obj: Any) -> str:
 COLLABORATORS_QUERY = """
 query ($owner: String!, $name: String!, $user: String!) {
   repository(owner: $owner, name: $name) {
-    collaborators(query: $user, first: 1) {
+    collaborators(query: $user, first: 100) {
       nodes {
         login
       }
@@ -61,7 +61,7 @@ query ($owner: String!, $name: String!, $user: String!) {
 MENTIONABLE_QUERY = """
 query ($owner: String!, $name: String!, $user: String!) {
   repository(owner: $owner, name: $name) {
-    mentionableUsers(query: $user, first: 1) {
+    mentionableUsers(query: $user, first: 100) {
       nodes {
         login
       }