git rm --cached file1.txt git commit -m "remove file1.txt"
git rm file1.txt git commit -m "remove file1.txt"
git push origin branch_name