Ошибка Git при попытке пушить новый бранч

Коллега пожаловался на ошибку Git при попытке запушить новый бранч:

remote: error: failed to lock refs/heads/dev/feature1
To https://example.com/repos/project.git
! [remote rejected] dev/feature1 -> dev/feature1 (failed to lock)
error: failed to push some refs to 'https://example.com/repos/project.git'

Ответ нашелся тут. Дело в том, что в репозитарии уже был создан бранч "dev" и создавать новый бранч dev/feature1 отказывалось, т.к. бранч "dev" создается в виде файла, а бранч "dev/feature1" в виде директории dev в которой будет находиться файл feature1. В этом случае возникает конфликт "dev" как файл и "dev" как директория.