In Git, sometime we need remove one file out version control, we can use the follow commands

git rm -r -n --cached "backend/config/main-local.php"
git rm -r --cached "backend/config/main-local.php"
git commit -m "remove demo"
git push origin master