Ich konnte auf der GitHub-Website einen Weg finden , eine einzelne Datei umzubenennen, und dies mit Erfolg. Ich konnte auch einen Weg finden , ein ganzes Repository umzubenennen, und das mit Erfolg. Weiß jemand, wie man dies in einem einzelnen Verzeichnis macht, ohne die Befehlszeile zu verwenden...