Remove file from remote github repository

trinker

ggplot2orBust
#1
I accidentally uploaded several files to the remote github repo I want to remove (e.g. the .Rproj). Removing them locally and pushing the changes does not appear to remove the files remotely. How can I do this?
 

trinker

ggplot2orBust
#2
per Dason:

Code:
git rm -cached<filename>
worked. Then just add the files to .gitignore or if you wanted them gone delete from local repo first.