git 怎麼還原遠端分支

Question

1. 今天手抖，使用git push origin :develop刪掉了遠端庫的分支origin/develop ，本地trace的庫叫dev_local(這個沒刪),五秒後反應過來刪錯了分支。

急求方法，怎麼把遠端的分支恢復啊。急求。

Answer 1

本地有的話再push過去就行了

Answer 2

再重新推送一個，如果本地還遺留有這個分支的話？