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
Or just
git push origin --force blank:mainLive your best life.
git pullblindly.I’m not sure about the git history wipe, I can’t test it myself right now
Just test it on production, you could do it right now
Goodbye
fedecan.ca