Useful scripts

Some useful scripts

Remove pushed file from git

git rm -r --cached .
git add .
git commit -m "Removed ignored files."