В диалоге Git Remotes я вижу это для своего проекта:
Как мне удалить второй пульт? Кнопка минус отключена.
Этот проект является символической ссылкой на другой git-проект внутри директории misc/docker/... основного проекта.
Причина, по которой я хочу удалить этот проект, поскольку он усложняет окно операций git.