The decentralized part (git itself) kept working.