I have a server that has DNS problems and cannot find "Github.com". I have to use Github's IP address instead. But when I try to use the IP address like this:
git remote set-url origin http://192.30.253.113/foo/bar.git
when I try to push to origin this happens:
git push origin master
fatal: unable to access 'https://192.30.253.113/foo/bar.git/': SSL: certificate subject name (github.com) does not match target host name '192.30.253.113'