Comment by jjice

Agreed. I believe that's marked under "Git Operations" and it's all green. Just began being able to push again a minute ago.