<< git rm -r --cached ./dev >>

delete /dev
now in .gitignore
Phew!