Host konnte nicht aufgelöst werden: github.com

Das ist im Container, also könnte es ein Docker-Netzwerkproblem sein, oder es könnte ein temporäres Problem gewesen sein?