I wonder if they host everything on their own site (Github.com) or their own Github Enterprise site, which is inaccessible from outside network.