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 [email protected]:TEAM/REPO.git format.