Я на самом деле хочу удалить ветку в голом репозитории, с которым я работаю, но эта задача зашла в тупик, потому что я не могу переключиться из главного репозитория без «рабочего дерева», которого нет в голом репозитории.
Когда я запускаю git branch -d master, вывод:
error: Cannot delete the branch 'master' which you are currently on.
Поэтому я пытаюсь переключиться на другую ветку, называемую "Develop", запустив git checkout develop, и вывод:
fatal: This operation must be run in a work tree