BSNL New year gift – Github DNS lookup failed

I still remember the days when Facebook went down for an hour or two in the evening, and everybody lost their minds, while some predicted the impending apocalypse.

But I’m not on Facebook anymore. I’ll do a separate post on the why(s) and how(s) for that.

So today while trying to push some commits into my github repo, I found this error:

fatal: unable to access ‘https://github.com/mohonish/****.git/’: Could not resolve host: github.com

I tried it out in my browser, and it showed a DNS lookup failed error. Well this was a first, for github. I opened IsItDownRightNow immediately, which showed that GitHub was up and running as usual.

Now that kind of freaked me out. So it was my ISP’s DNS service that could not route me to Github. What? BSNL? Really?

I can still access github through proxy. But that won’t help me as a permanent solution.

I’m going to add the Google Public DNS servers. I guess that might solve it. Will update as soon as this is resolved.

UPDATE (2/1/2015):
http://www.zdnet.com/article/india-lifts-block-on-vimeo-pastebin-internet-archive-others-still-banned/

So GitHub was blocked along with 31 other websites for being used to spread Anti-India content by terrorists. Reportedly, the bad on GitHub was lifted today – which means that BSNL uncles will get the news tomorrow morning, debate over it till next week, and hopefully we’ll have it back by the end of the month.

Sigh!

UPDATE (3/1/2015)
Apparently on adding Google’s public DNS servers, I can access github through my browser, but not through terminal. I wonder why! Hmm…