Or just git push origin --force blank:main