GreptimeTeam/greptimedb

Renaming default branch from develop to main

waynexia opened this issue · 1 comments

waynexia commented

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 #3026
  • Updates contribution guide #3026
  • Update docs GreptimeTeam/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
image

Implementation challenges

No response

evenyag commented

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