今天手抖，使用git push origin :develop删掉了远程库的分支origin/develop ，本地trace的库叫dev_local(这个没删),五秒后反应过来删错了分支。
急求方法，怎么把远程的分支恢复啊。急求。
学习是最好的投资！
本地有的话再push过去就行了
再重新推送一个，如果本地还遗留有这个分支的话？
![[Web-Frontend] Node.js-Schnellstart](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
本地有的话再push过去就行了
再重新推送一个，如果本地还遗留有这个分支的话？