今天手抖，使用git push origin :develop删掉了远程库的分支origin/develop ，本地trace的库叫dev_local(这个没删),五秒后反应过来删错了分支。
急求方法，怎么把远程的分支恢复啊。急求。
学习是最好的投资！
本地有的话再push过去就行了
再重新推送一个，如果本地还遗留有这个分支的话？
本地有的话再push过去就行了
再重新推送一个，如果本地还遗留有这个分支的话？