Ich hatte ein GitHub-Repository, das ich löschen wollte, aber weiterhin nur als lokales Repo auf meiner Festplatte behalte. Ich habe jetzt das lokal geklonte Repo, das den gesamten Verlauf beibehält, und das ist in Ordnung. Es bleiben jedoch eine Reihe von Konfigurationseinstellungen, die auf das (inzwischen gelöschte) GitHub-Repo verweisen. Z.B:
$ grep github .git/*
.git/config: url = https://github.com/foo/bar.git
.git/FETCH_HEAD:07c0bac92a829f3acb4b2f5c112de5f787f046e4 branch 'master' of https://github.com/foo/bar
Was sollte ich tun, um sicherzustellen, dass mein lokales Repo keine baumelnden Verweise enthält und ich nicht mehr von dort aus Push-up-Upstream oder Abrufen kann? (Wie nennen wir ein solches Repo, das keinen Remote-Ursprung hat?) Mir ist nicht klar, welche Einstellungen gelöscht / aktualisiert und welche Werte verwendet werden sollen.