how to undelete a deleted remote branch
I accidently did this:
$ git push origin :development To email@example.com:yyyyy/projects/web.git - [deleted] development
How do I undo? What is the second best thing I can do?
If your branch was fairly up-to-date with the remote one, a simple:
git push origin development:development