Lean
Lean copied to clipboard
I suggest renaming default `master` branch to `main`
The world is changing, and this is one of the global changes happening.
Go to repo Settings > Branches, and click on pencil (Rename) button to rename master branch to main.
