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/11/16 03:18:44 UTC
[GitHub] [tvm] mshr-h opened a new pull request, #13398: [CI] Update minor git options
mshr-h opened a new pull request, #13398:
URL: https://github.com/apache/tvm/pull/13398
The changes are listed below.
- avoid git checkout after git clone
- use --filter=tree:0 instead of --depth 1 because [it' preferred for CI](https://github.blog/2020-12-21-get-up-to-speed-with-partial-clone-and-shallow-clone/)
--
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] tvm-bot commented on pull request #13398: [CI] Update minor git options
Posted by GitBox <gi...@apache.org>.
tvm-bot commented on PR #13398:
URL: https://github.com/apache/tvm/pull/13398#issuecomment-1316257381
<!---bot-comment-->
Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from [Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers) by @-ing them in a comment.
<!--bot-comment-ccs-start-->
* cc @Mousius, @areusch, @driazati, @gigiblender <sub>See [#10317](https://github.com/apache/tvm/issues/10317) for details</sub><!--bot-comment-ccs-end-->
<sub>Generated by [tvm-bot](https://github.com/apache/tvm/blob/main/ci/README.md#github-actions)</sub>
--
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 #13398: [CI] Update minor git options
Posted by GitBox <gi...@apache.org>.
driazati commented on PR #13398:
URL: https://github.com/apache/tvm/pull/13398#issuecomment-1316467139
I'm good with merging this PR but just curious about `--filter=tree:0`, it seems like from that article that `--depth=1` is still best here since it avoids downloading the whole history and we're not accessing any commits other than the checked out `HEAD`, am I missing something about it?
--
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] mshr-h commented on pull request #13398: [CI] Update minor git options
Posted by GitBox <gi...@apache.org>.
mshr-h commented on PR #13398:
URL: https://github.com/apache/tvm/pull/13398#issuecomment-1316650269
I noticed that `--filter=tree:0` is supported since git 2.20 and Ubuntu 18.04 LTS has git 2.17.
We can't use `--filter=tree:0`. I'll revert it.
--
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 merged pull request #13398: [CI] Update minor git options
Posted by GitBox <gi...@apache.org>.
driazati merged PR #13398:
URL: https://github.com/apache/tvm/pull/13398
--
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] mshr-h commented on pull request #13398: [CI] Update minor git options
Posted by GitBox <gi...@apache.org>.
mshr-h commented on PR #13398:
URL: https://github.com/apache/tvm/pull/13398#issuecomment-1316633550
@driazati
Thanks for your comment!
You're right. Unless we need commit history), `--depth=1` is ok.
I guess that's more like a personal preference.
--
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