git 怎么恢复远程分支

Question

1. 今天手抖，使用git push origin :develop删掉了远程库的分支origin/develop ，本地trace的库叫dev_local(这个没删),五秒后反应过来删错了分支。

急求方法，怎么把远程的分支恢复啊。急求。

Answer 1

本地有的话再push过去就行了

Answer 2

再重新推送一个，如果本地还遗留有这个分支的话？