Suche

Volltextergebnisse:

tipps_und_tricks

3 Treffer, Zuletzt geändert: vor 4 Jahren

519 -F /dev/null"</file> Für git < v2.10 ist der folgende Workaround sinnvoll In der Datei ''~/.ssh/config'' die folgende Zeile einfügen <file> host github.com HostName g... == in der Datei ''.git/config'' muss nur die url folgendermaßen umgestellt werden: <file>url = http://<user