2023年5月– date –

はじめに ターミナルでGitコマンドの補完機能を使っているのだが、リモートで削除したはずのブランチが補完候補にでてきて鬱陶しかったので調べてみたら、git pruneコマンドというのを見つけた。 ブランチが削除された後のローカルリポジトリ Gitの仕様と...