Renaming default branch from develop to main

[waynexia]

What type of enhancement is this?

Other

What does the enhancement do?

As mentioned in #2717, we plan to switch the default branch to main to avoid confusion.

Progress:

• Prepare the new main
• Change all existing PR
• Set default branch to main
• Push a deprecate notification to the old develop
• Lock develop
• Fix CI chore: change all reference from develop to main #3026
• Updates contribution guide chore: change all reference from develop to main #3026
• Update docs docs: rename develop branch to main branch docs#739
• Check other outdated references
• Send Twitter/Slack notification
• Delete develop branch after [TBD]

Updates Local Environment

We need to update our local environment manually.

git branch -m develop main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

If the main branch already exists, you could remove it first

git branch -D main

For a forked repo, you could rename your default branch to main

Implementation challenges

No response

[evenyag]

We should still use the develop.yml for the CI badge. It is not a branch name.