title: Android - repo sync fails with fatal: Unable to look up android.git.kernel.org (port 9418) (Name or service not known)
body: <p><strong>repo sync</strong> fails with the following message:</p>
  
  <pre><code>$ repo sync
  fatal: Unable to look up android.git.kernel.org (port 9418) (Name or service not known)
  fatal: Unable to look up android.git.kernel.org (port 9418) (Name or service not known)
  error: Cannot fetch repo
  </code></pre>
  
  <p>It seems that <a href="http://www.linuxfordevices.com/c/a/News/Kernelorg-hacked/" rel="nofollow">kernel.org has been hacked</a>, so this is what is causing the issue.
  Is there a workaround to resolve this issue and not to completely switch to different Android repository (such as those on github, etc)? </p>