Interestingly, only the site was down, most probably just unicorn. No new workers were created, or the existing workers were busy. I was still able to do a git

Interestingly, only the site was down, most probably just unicorn. No new workers were created, or the existing workers were busy. I was still able to do a git clone using the git@github.com:TEAM/REPO.git format.