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!
Valid github IPs can be seen here: https://api.github.com/meta
https://www.githubstatus.com/ currently reports all systems operational.
So, what ami2do? :)
I would need some global way to make sure github.com resolves to the working IP, but unsure how to make this work.
Ideally this would be in sys-net's /etc/hosts
but this of course doesn't have any effect: github.com still resolves to either of those .112 and .113 IPs. It only works if I put it in the current AppVM's /etc/hosts, of course.
How can this be done globally?
(Ideally, I would like to even bypass DNS completely, eventually, and only use /etc/hosts (kept up to date manually) but not in this post/thread.)
the working IP is 140.82.118.3
grreat, now not even that IP works anymore:
ssh: connect to host github.com port 22: No route to host
i'm guessing some epic sshd bug is being exploited? :D silly speculation(s)
ok, it's because of Qubes because having a rule in Firewall like "github.com" "ssh" "tcp" which apparently adds an iptables(?) rule based on resolved IP at the time(of AppVM start?), and github having changing IPs ("We do not recommend whitelisting by IP address," from: https://help.github.com/articles/about-github-s-ip-addresses/ )
so basically, it was my fault :)
But still, I'd like to know an answer to my OP question: but I'm gonna guess I'll have to use dnsmasq instead of any kind of /etc/hosts, that is, for global effect.
oh and I forgot to mention that because ping always works even if everything else is denied(in AppVM's Firewall tab), it threw me off :) it's a Qubes feature, I know.
>>>>> 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