謎の「git did not exit cleanly (exit code 128)」エラーでGithubにプッシュできなくなったが、新しい鍵の登録でプッシュできるように。3ヶ月放置してただけでこれかい。