Я создал удаленную ветку, которую теперь хочу удалить, потому что она объединена с нашей веткой интеграции.Я делаю
git push origin :name_of_branch
для удаления удаленной ветви.
Однако, к сожалению, я ошибся, и у одного из других разработчиков на самом деле есть локальные коммиты, происходящие из этой ветви.Как мне помешать его работе, находятся ли его изменения в опасности, когда он тянет?
Спасибо