git错误--ssh: Could not resolve hostname ssh.github.com: Name or service not known--解决方式

错误如下：
git push origin
ssh: Could not resolve hostname ssh.github.com: Name or service not known
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
make: * [deploy] 错误 128

解决方式1：
step1. ping github.com
获取到github.com的ip为192.30.252.128
step2. 在/etc/hosts中添加一行如下:
192.30.252.128 github.com

解决方式2：
以root权限执行如下python代码

#!/usr/bin/python
#coding=utf8

import socket

host = 'github.com'

try:
with open('/etc/hosts', 'a+') as fp: 
        ip = socket.gethostbyname(host)
        fp.write(' '.join([ip, host, '\n']))
except BaseException as e:
    print(e)
else:
    print('sucess')