まあ難しいですよね。今回のは私の環境では再現性あって原因も古いキャッシュの何か、って感じで解決してみればわかりやすかったけど通信が不安定なときにも起こるんだろうし、本当にSSHのキーが壊れてたってときにも起こるんだろうし、発生したところを起点にどういう対処をっていうのは難しい。

4:24 AM

とはいえerror 5って言われても困るというのは困る。