Demo example fails

Following fails:

from github import Github

# Github Enterprise with custom hostname
g = Github(
    base_url="https://github.boschdevcloud.com/api/v3",
    login_or_token="MY_TOKEN",
)

u = g.get_user()
print(u)  # AuthenticatedUser(login=None)

for repo in u.get_repos():  # socket.gaierror: [Errno 8] nodename nor servname provided, or not known
    print(repo.name)

I'm not understanding why this fails; but even if I'm doing something wrong error message could be improved.

Start by reproducing the Python example using Github, get_user(), and get_repos(), then trace the socket.gaierror raised with the custom GitHub Enterprise base_url. Determine whether the example uses the URL correctly or whether the failure needs a clearer error message; the issue is complete when the cause and expected behavior are clear.