使用git的时候，笔者打算删除一个远程分支。然后使用了一个命令
git push origin:分支名不仔细看什么错误吧。可是运行的时候报错了
ssh: Could not resolve hostname origin: nodename nor servname provided, or not knownfatal: Could not read from remote repository.后来查阅资料，了解了git删除远程分支的原理是推空的分支覆盖之前的。所以解决方法就是。在: 前加一个空格。
git push origin :分支名也可以使用
git push --delete origin 分支名