update:
On 2021-08-10 23:30 CST, I observed that I cannot push to my GitHub repo even
with --force. After checking the GitHub status site, it seems that the GitHub API is down1.
It is not the first time that GitHub is down. There has been several failure reports last year (2020), due to MySQL and other issues.
At this moment, I have realized how much I and other developers around world are relying on this free service.
On 2021-08-10 23:57 CST, GitHub is back to its normal state. Git-push works fine now. ↩︎
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。