Oct 4, 2022 ulysses
If you need to remove files from a repo after committing, use …
Remove file
git rm --cached file.ext
Push to repo
git push