My hands were shaking today. I used git push origin :develop to delete the branch origin/develop of the remote library. The local trace library is called dev_local (this one was not deleted). After five seconds, I realized that I had deleted it by mistake. branch.
I am urgently looking for a solution, how to restore the remote branch. Urgent request.
![[Web front-end] Node.js quick start](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
If you have it locally, just push it there
Push another one, if this branch is still left locally?