Tvm: [RFC] Move to use main as default branch

[tqchen]

Dear TVM Community:

In light of recent proposed change of github's default branch from master to 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

[tqchen]

To be fully transparent about what it would take:

• create main branch from master
• setup branch protection
• New PRs and other activities will continue to work as normal
• For stale PRs that still need updates, reset the base to main (Thanks @szha for pointing it out)
  
  
  
  • In github UI, click edit, branches, change from master to main
  
  

[junrushao1994]

It makes a lot of sense. Let’s follow the new default setting in github carefully to make sure the transition is smooth. Thanks a lot!

[szha]

For stale PRs that still need updates, re-raise against the new default

It's also feasible to just change the base of each of the open PR to target the new branch. Since the branches are identical initially, this switch shouldn't cause any issue. It can be carried out alongside the change in default branch setting.

[hogepodge]

This change would be in accordance with the Apache Code of Conduct across several dimensions.

1. It creates a more open community.
2. It shows empathy for the diverse open source community.
3. It encourages collaboration.
4. It is being careful with the words we choose.
5. It aligns with the diversity statement.

[tqchen]

Thanks everyone, the lazy consensus has passed.

[tqchen]

As of now, the default branch has been changed to main. I have also spend some time to update base branch of the existing PRs, but it would be great to double check for a bit when we merge PR this week.

[tqchen]

All the open PR's base has been updated to main