So you’ve just pushed your local branch to a remote branch, but then realized that one of the commits should not be there, or that there was some unacceptable typo in it. No problem, you can fix it. But you should do it rather fast before anyone fetches the bad commits, or you won’t be very popular with them for a while

Guide to setting up Git for Windows

This tells git to automatically stage tracked files – including deleting the previously tracked files.