Ah, got it. It's still incorrect though. With the incident a couple days ago, I couldn't `git push` for a couple hours.