You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/08/18 16:38:27 UTC

[GitHub] [tvm] driazati opened a new pull request, #12491: [ci][tvmbot] Search more users when checking usernames

driazati opened a new pull request, #12491:
URL: https://github.com/apache/tvm/pull/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.


-- 
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


[GitHub] [tvm] github-actions[bot] commented on pull request #12491: [ci][tvmbot] Search more users when checking usernames

Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #12491:
URL: https://github.com/apache/tvm/pull/12491#issuecomment-1219833228

   <!---docs-bot-comment-->
   
   Built docs for commit cffec97a1480b2f9617267aacff3590d6a548cc6 can be found [here](https://pr-docs.tlcpack.ai/PR-12491/1/docs/index.html).


-- 
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


[GitHub] [tvm] kparzysz-quic merged pull request #12491: [ci][tvmbot] Search more users when checking usernames

Posted by GitBox <gi...@apache.org>.
kparzysz-quic merged PR #12491:
URL: https://github.com/apache/tvm/pull/12491


-- 
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