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')