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 <9407960+driaz...@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 <driaz...@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 }