☰
Dup
Goto
📝
Branches1
PT2
/
devtools
/
git
/
github
11-01 12:20:08
To
Pop
4 lines, 23 words, 301 chars
Wednesday 2023-11-01 12:20:08
Set the default branch name in settings.
To change the default branch of a repo,
see github docs
:
rename it here:
