Python https请求Errno 11004 getaddrinfo失败

Question

我是python的新手并尝试使用我的代码制作标准的http请求：

    import requests
    requests.get('https://github.com')

但我总是得到追溯，基本上告诉我：

socket.gaierror: [Errno 11004] getaddrinfo failed
...
Failed to establish a new connection: [Errno 11004] getaddrinfo failed

我在公司防火墙后面工作。我想这是某种干扰。我是否需要添加代理或类似内容？