2023年3月24日 5:00 UTC にて、GitHub側のホストのキーを更新したみたいで、 その影響でGitプロジェクトのフェッチ等をすると以下のエラーがでます。 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @ WARNING: REMOTE HOST IDENTIFICATION H…

気がついたらGitHubのUIからプルリクなどのメニューが消えていたのでそれを直した備忘録。 原因はGitHub側のUIが更新されたことで、ブラウザの拡張プラグイン「Refined Github」が対応できなくなっていたからでした。 github.com Refined GithubはUI全般を見…