What is the reason you want to delete remote files
1: When we submitted the file to a local warehouse, after a random pushed to the remote github, later found some of the documents that we do not want to, or modify merge files, and do not want some of the files of the.
2: Only delete a workspace, not delete the file repository, and then submitted to the remote, so remote github still has files that we do not want.
Solution
After determining the local repository is modified, determine what you want to delete github remote files, use:
Delete all versions of the staging area and the area of the file.
RM finame git
git the commit -m "delect"
then synchronized to the remote
git push remote_repository_address