[CHORE] rename default branch from master to main #1637
Description
The default branch is named master, it might be a good idea to rename it to main. The renaming is a quick process and is described in github/renaming.
{{ message }}
The default branch is named master, it might be a good idea to rename it to main. The renaming is a quick process and is described in github/renaming.