DNS problems on ci.eclipse.org/xtext

curl: (6) Could not resolve host: raw.githubusercontent.com the DNS problems on ci.eclipse.org/xtext seem to be back https://ci.eclipse.org/xtext/job/releng/job/sign-and-deploy/1356/console https://ci.eclipse.org/xtext/job/releng/job/sign-and-deploy/1355/console https://ci.eclipse.org/xtext/job/releng/job/sign-and-deploy/1354/console