動作環境
Windows 7 Pro (32bit)
SmartGit Version 17.0.5 #10143
間違ってpushしたフォルダをignoreする方法。
remoteへpushしているフォルダの削除
フォルダ(例: Win32)をremoteにpush済の場合、以下のようにする。
(Tools > Open Git-Shell上で実行)
$ git rm -r --cached Win32
ignore
- Repositoriesペインのプロジェクト > 対象フォルダ(Win32)上で右クリックし、ignoreを選択する。
- ダイアログにてIgnoreボタンを選択
- .gitignoreファイルに追記される
- .gitignoreをcommit, push
補足
Filesペイン上でignoreばかりしていたので、Repositoriesペインでignoreするという発想はなかった。