[skip-ci][COMMUNITY] leandron to PMC

[tqchen]

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, "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
• Code Review
• Community Forum Summary

[masahi]

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)

[comaniac]

Congrats Leandro!
[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.

[masahi]

I think we need to change the title before pushing commit? cc @driazati

[masahi]

[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". #10067

[masahi]

maybe @tqchen can push another commit to be sure. It should finish after sanity check.

[driazati]

@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