Я сделал это случайно:
$ git push origin :development To git@xxxxx.com:yyyyy/projects/web.git - [deleted] development
Как мне отменить? Что второе лучшее, что я могу сделать?