Comment Comment by thephotonsphere Rename main → master:git branch -m main master git push -u origin master git push origin --delete main parent thephotonsphere 11 months ago
git branch -m main master git push -u origin master git push origin --delete main