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.
