On Thursday, February 7, 2019 at 12:57:39 PM UTC, Marcus Linsner wrote: > Sometimes github.com resolves to 192.30.253.112 and .113 and today(at least) > they don't allow port 22 ssh, so `git push` fails like > ssh: connect to host github.com port 22: No route to host > > I noticed however that when it resolves to something like 140.82.112.40 > (unsure exactly the IP) then ssh works and `git push` succeeds!
the working IP is 140.82.118.3 -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to qubes-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/12ba1cc4-24ca-4145-9323-ae28a436c5dd%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.