git删除仓库的某个文件