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/03/02 14:30:49 UTC
[GitHub] [tvm] tqchen opened a new pull request #10448: [COMMUNITY] leandron to PMC
tqchen opened a new pull request #10448:
URL: https://github.com/apache/tvm/pull/10448
Dear community:
Please join us to welcome @leandron as a new PMC member. Leandro was one of the early contributors to the community. He contributed to the TVM command line driver.
He helps the community a lot by contributing to the CI and packaging efforts. Many of those efforts (time spent on overall coordination and infra) are not part of code contributions, nor do they necessary show up in normal code contribution statistics. But they are also very important for the TVM community (per our [community guideline](https://tvm.apache.org/docs/contribute/community.html), "area of contribution can take all forms").
Importantly, leandro interacts constructively with the current community members in apache way.
Many interactions with Leandro with positive exchanges, with him being receptive to feedback and bringing constructive suggestions.
- [Commits History](https://github.com/apache/incubator-tvm/commits?author=leandron)
- [Code Review](https://github.com/apache/incubator-tvm/pulls?utf8=%E2%9C%93&q=reviewed-by:leandron)
- [Community Forum Summary](https://discuss.tvm.apache.org/u/leandron/summary)
--
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] masahi commented on pull request #10448: [skip-ci][COMMUNITY] leandron to PMC
Posted by GitBox <gi...@apache.org>.
masahi commented on pull request #10448:
URL: https://github.com/apache/tvm/pull/10448#issuecomment-1057336191
maybe @tqchen can push another commit to be sure. It should finish after sanity check.
--
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] masahi merged pull request #10448: [skip-ci][COMMUNITY] leandron to PMC
Posted by GitBox <gi...@apache.org>.
masahi merged pull request #10448:
URL: https://github.com/apache/tvm/pull/10448
--
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] masahi commented on pull request #10448: [skip-ci][COMMUNITY] leandron to PMC
Posted by GitBox <gi...@apache.org>.
masahi commented on pull request #10448:
URL: https://github.com/apache/tvm/pull/10448#issuecomment-1057334904
I think we need to change the title before pushing commit? cc @driazati
--
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] masahi commented on pull request #10448: [COMMUNITY] leandron to PMC
Posted by GitBox <gi...@apache.org>.
masahi commented on pull request #10448:
URL: https://github.com/apache/tvm/pull/10448#issuecomment-1057299033
Need to undo the pylint change. We can do `[skip-ci]` for a PR like this. (Add `[skip-ci]` to the beginning of the PR title and commit message)
--
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] masahi commented on pull request #10448: [skip-ci][COMMUNITY] leandron to PMC
Posted by GitBox <gi...@apache.org>.
masahi commented on pull request #10448:
URL: https://github.com/apache/tvm/pull/10448#issuecomment-1057335823
> `[skip ci]` seems only effective when opening the PR at the first time. Change the PR title or commit message after opening the PR might not work
I remember doing `[skip ci]` "after the fact". https://github.com/apache/tvm/pull/10067
--
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] driazati edited a comment on pull request #10448: [skip-ci][COMMUNITY] leandron to PMC
Posted by GitBox <gi...@apache.org>.
driazati edited a comment on pull request #10448:
URL: https://github.com/apache/tvm/pull/10448#issuecomment-1057356221
@masahi is right, both the commit message and the PR title at the time the build is run have to start with `[skip ci]` (so you need to re-push the commit so the check runs again). We're working on a glob-based approach for auto-skipping CI for certain files (e.g. `*.md`) soon that should obviate the need for this though.
--
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] driazati edited a comment on pull request #10448: [skip-ci][COMMUNITY] leandron to PMC
Posted by GitBox <gi...@apache.org>.
driazati edited a comment on pull request #10448:
URL: https://github.com/apache/tvm/pull/10448#issuecomment-1057356221
@masahi is right, both the commit message and the PR title at the time the build is run have to start with `[skip ci]` (so you need to re-push the commit so the check runs again). We're working on a glob-based approach for auto-skipping CI for certain files (e.g. `*.md`) soon that should obviate the need for this though: #10456
--
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] driazati commented on pull request #10448: [skip-ci][COMMUNITY] leandron to PMC
Posted by GitBox <gi...@apache.org>.
driazati commented on pull request #10448:
URL: https://github.com/apache/tvm/pull/10448#issuecomment-1057356221
@masahi is right, both the commit message and the PR title at the time the build is run have to start with `[skip ci]`. We're working on a glob-based approach for auto-skipping CI for certain files (e.g. `*.md`) soon that should obviate the need for this though.
--
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