2014-09-11
Removing files from git is pretty straightforward.
git rm .... But if you want to completely
remove files from git, after they’ve been committed, while
keeping them locally, this can be tricky.
git update-index --assume-unchanged <file> should
work.