In einem Git-Repository wurde ein Remote-Zweig gelöscht, den ich nicht verfolge. Wenn ich tippe
git branch -r
Der gelöschte Zweig wird weiterhin angezeigt (und ich kann ihn überprüfen).
Welchen git-Befehl muss ich ausführen, um diese Informationen zu aktualisieren?