[Delete] git remote folder / file and retained locally, no longer subject to git track

  $ git rm -r --cached .mvn
  $  git add .
  $  git commit -m "rm .mvn"
  $  git push origin HEAD

Guess you like

Origin www.cnblogs.com/jzsg/p/10948388.html