Updating github repository to match local
This question already has an answer here:
git rm [insert_filename_here]
Followed by
git commit -am "deleted blah blah"
git push
To ensure that your local repo. matches the github repo. just run git status, check and see if an y files have been modified, deleted, or added. If so, then you can stage those files to be commited.
To stage a file(s) to be commited, I typically use
 git add <rel_path_to_file> (for each file that is to be changed or added) followed by a  
git commit -m 'your commit message'
 then when you're through staging the files that you'd like to commit, or telling git what you want to change in the github repo and what note to leave when you change it, just run git push  
Hope that helps!
after
 git rm 
you should do
 git status 
to see you changes to avoid some unexpected changes. Then do,
 git commiy -a -m "delete XXXX" 
and then do,
 git pull origin .  
Last,
 git push 
上一篇: GIT,位桶和源代码树之间的关系
下一篇: 更新github存储库以匹配本地
