Full threadthephotonsphere·Rename main → master:git branch -m main master git push -u origin master git push origin --delete mainView on HN