Dear TVM Community: In light of recent proposed change of [github's default branch from master to main](https://github.blog/changelog/2020-10-01-the-default-branch-for-newly-created-repositories-is-now-main/). It would be great for the community to consider such a change. Given the minimum impact to set it up. We believe is a net positive to the community and also keeps us up to the latest github convention.
This thread seeks formal lazy consensus :) Everyone is also more than welcomed to share their thoughts. TQ -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-tvm/issues/6623
