Git
2023年3月24日 5:00 UTC にて、GitHub側のホストのキーを更新したみたいで、 その影響でGitプロジェクトのフェッチ等をすると以下のエラーがでます。 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @ WARNING: REMOTE HOST IDENTIFICATION H…
自分はGitクライアントでForkを愛用しています。 昔はSourcetreeを使ってましたが動作が重くなる問題が煩わしくなり、より高速なForkに移行しました。 git-fork.com サブモジュールを設定していると、ブランチを切り替えたときに差分が更新されないように初…
気がついたらGitHubのUIからプルリクなどのメニューが消えていたのでそれを直した備忘録。 原因はGitHub側のUIが更新されたことで、ブラウザの拡張プラグイン「Refined Github」が対応できなくなっていたからでした。 github.com Refined GithubはUI全般を見…