@grmpyprogrammer Just delete your repo and push the history from your local copy back to a new repo. Easy peasy. Git is good at this.