github über HAMNET erreichbar

Viele Projekte verwenden github.com als Quelle für Software. Um Updates einspielen zu können, haben wir github.com in unseren Proxy aufgenommen. Für Linux-basierte Clients kann man git config --global http.proxy http://db0sda.ampr.org:3128 verwenden.