git 删除远程已经推送过的文件或者文件夹