遇到一个比较搞的git问题,从本地
git branch -r
时发现远端有一个分支存在,然后去仓库里边查找时并没有找到这个分支;刚开始以为是仓库对错了,
git remot -v
显示没问题;然后执行
git push --delete origin xxx # 远端分支名称
却报远端没有这个分支的错:
error: unable to delete 'origin/xxx': remote ref does not exist
根据这个https://www.cnblogs.com/codingsun/p/7129154.html?utm_source=itdadao&utm_medium=referral帖子的提示,原来是本地居然有远端分支的缓存,所以需要执行以下命令:
git fetch --prune origin
这样本地的缓存就会被干掉,替换成新的。
原来如此,刷新了git的又一次认知。