git rm --cached file_path
git commit -m 'delete remote somefile'
git push

懂得,原来世界如此简单!