So maybe instead, we can clear all local + remote branches and tags, create a blank branch, delete main, rename the blank branch to main, then delete .git
Although the OP says that we can merge anything, and we might not have access to mess with branches
rm -rf * git add -A git commit -m "oops." rm -rf .git git init git add . git commit -m "bye." git push origin main --forcerm-ing.gitisn’t gonna work cuz you’ll have to re-add the remotes.Oh good point 🤦
So maybe instead, we can clear all local + remote branches and tags, create a blank branch, delete main, rename the blank branch to main, then delete .git
Although the OP says that we can merge anything, and we might not have access to mess with branches