Try git rm then commit and push.

Not that you asked, but I'd suggest git gui or another 3rd party gui for better control of your repo. Remembering how to use even git's basic features from the terminal is trickier than it seems.