App kann wegen Nameserver-DNS-Problemen nicht neu erstellt werden "konnte Host github.com nicht auflösen"

Du kannst den Befehl curl ausprobieren und prüfen, ob er funktioniert. Wenn ja, kannst du versuchen, ./launcher rebuild app auszuführen.