J'ai un serveur qui a des problèmes de DNS et ne peut pas trouver "Github.com". Je dois utiliser l'adresse IP de Github à la place. Mais lorsque je tente d'utiliser l'adresse IP comme ceci:Définition de l'adresse IP de github comme URL d'origine
git remote set-url origin http://192.30.253.113/foo/bar.git
lorsque je tente de pousser à l'origine ce qui se passe:
git push origin master
fatale: impossible d'accéder « https://192.30.253.113/foo/bar.git/ »: SSL: certificat le nom du sujet (github.com) ne correspond pas au nom d'hôte cible '192.30.253.113'
https://stackoverflow.com/a/16869961/1615903 – 1615903