[gauravagarwalr]

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