Github is lightning fast now. Shame Redstone cache DNS lookups for too long meaning forward lookups don’t resolve properly.
