Closed Farbfetzen closed 5 years ago
Name ideas:
https://stackoverflow.com/questions/2041993/how-to-rename-a-git-repository