When I use that Delete button it seems to still have records of it
because when I delete the repo on the other end and create a new bare
one it complains about some UUID mismatch.
Hmm well, it's true that deleting a repository does not clean out any git remotes that other repositories might have configured using it, and the uuid of the old remote is cached in there. This is only a problem if you put back another repository in the same location as the old one. git remote remove should clean that up for you.
That is exactly what I have wanted to do a couple of times now and 'git remote remove' does not seem to remove it all either.
When I try to create a new repository in the same place it still complains about that darn UUID
What is working is to manually add the new UUID to .git/config
When I use that Delete button it seems to still have records of it because when I delete the repo on the other end and create a new bare one it complains about some UUID mismatch.
git remote removeshould clean that up for you.That is exactly what I have wanted to do a couple of times now and 'git remote remove' does not seem to remove it all either. When I try to create a new repository in the same place it still complains about that darn UUID
What is working is to manually add the new UUID to .git/config