Frequent "java.net.UnknownHostException: raw.githubusercontent.com" on Wild Web Developer CI
In ci.eclipse.org/wildwebdeveloper, we've started to see very frequent java.net.UnknownHostException: raw.githubusercontent.com
for build steps that have been always successful for a while. Anything we can do here?