If you need to remove files from a repo after committing, use …

Remove file

<pre lang="bash">
git rm --cached file.ext

Push to repo

<pre lang="bash">
git push