Error: 500 Can't connect to opengrok.github.com:80 (Bad hostname)