我的做法：
1，本地库和远程库的文件是一致的
2，从本地库删除
3，同步到远程库
4，远程库的文件也就删除了
操作演示：
1，删除
使用命令行删除
git rm filename
或者就直接在文件系统中进行删除，之后执行git status可以看到这种信息
Changes not staged for commit:
(use "git add/rm <file>..." to update what will be committed)
(use "git checkout -- <file>..." to discard changes in working directory)
deleted: loongson3a2h_4cpu_mipsi64le_smp/bcm1250CpuInit.s
2，执行命令
git add loongson3a2h_4cpu_mipsi64le_smp/bcm1250CpuInit.s
3，执行命令
git commit -m "remove file"
注意：这里-m 之后的就是注释信息，也就是提交的代码的log信息
4，执行命令
git push origin HEAD:refs/for/branch_name
这样文件就删除了
