All 4 seemed to be blocked from my office in Kerala. Github is up so they probably have resolved the issue. A week back Github became mysteriously unavailable (with github status showing no downtime). I guess now we know what happened.