Github Desktop bekommt Proxy-Unterstützung

Open-Source: Github Desktop ist in Version 2.4 verfügbar. Neu ist unter anderem die Unterstützung von Proxy-Zugängen sowie Pull Requests zur Problembehandlung.

Mit der Einführung der Proxy-Unterstützung richtet sich die neue Desktop-Version des Entwickler-Tools vor allem an Mitarbeiter großer Unternehmen. Diese gehen häufig über einen Proxy ins Netz, hatten bisweilen aber Schwierigkeiten beim Anmeldeprozess von GitHub-Desktop.

Das Setup der Anwendung erforderte bisher eine eher umständliche, manuelle Konfiguration. Wurde die Verbindung mittels Proxy hergestellt, führte dies häufig zu Fehlermeldungen wie "couldn't resolv host". Aufgrund dessen haben die Entwickler den Einrichtungsprozess nun automatisiert. Damit soll es nun zu keinerlei Problemen mehr kommen, schreibt Github in seiner Releasenote.

Außerdem neu ist die Möglichkeit, Probleme mittels Pull Request zu melden. Ohne die aktuelle Tätigkeit zu unterbrechen kann nun über den Menüpunkt "Create Issue on Github" eine neue Fehlermeldung gestartet werden. Für den Fall, dass für dieses Issue bereits eine Vorlage existiert, wird der Anwender automatisch zur Template-Seite weitergeleitet.

Ferner bekommt Github Desktop mit Version einen Dark-Mode. Diesen kann der Nutzer entweder aktiv an- und ausschalten oder eine Automation setzen, wonach sich die Anzeige jeweils an die Tageszeit anpasst.

Github wurde Ende 2018 von Microsoft für rund 6,4 Milliarden Euro übernommen. Der Wirbel um die Übernahme war seinerzeit groß. Einerseits hatte der Redmonder-Konzern jahrzehntelang keinen Hehl aus seiner Abneigung gegen quelloffene Software gemacht, andererseits wurde ein zu großer Einfluss des Unternehmens auf die weltweite Entwicklung von Open-Source-Projekten befürchtet.

Ersteres hat sich schon vor der Übernahme als überholt herausgestellt. Zweiteres ist bisher nicht eingetreten. Viel eher zeichnet sich ab, dass dich der Software-Gigant und die Open-Source-Community offenbar gut ergänzen.