Ask HN: Is GitHub Down?

Status page is up, but can't seem to git pull or push