为什么删除了远端的dev分支，本地还是能git checkout dev？

现在项目想废弃dev分支，因此把本地和远端的dev分支都删除了。
删除本地：git branch -d dev
删除远程：git push origin --delete dev

删除后发现git checkout dev还是可以执行成功，并且git branch -a还是有remotes/origin/dev

解决方法：
先执行git fetch --prune
这样就可以了。

Prune all unreachable objects from the object database unreachable objects