в «зеркальном» клоне репозитория из Github я обнаружил много коммитов, отмеченных светло-фиолетовыми метками. Этикетки называются «pull / 91 / merge», «pull / 92 / head», «pull / 89 / head» и т. Д. c. Вот изображение.
Это не метки веток или тегов. «git branch --list» возвращает только «master». А «git tag --list» ничего не возвращает. Если я щелкну правой кнопкой мыши по одному в gitk, меню не появится. Если бы это был тег или метка ветки, появилось бы правое меню, позволяющее мне удалить, переместить, скопировать и т. Д. c.
Что это такое и как с ними работать? - удалить, переименовать, преобразовать в ветку и т. д. c.
РЕДАКТИРОВАТЬ: Я думаю, они связаны с запросами на вытягивание, сделанными на Github. Это "зеркальное" репо из Github после выполнения "git clone --mirror". Скорее всего, Github поместил их туда, и трогать их не стоит. Но все же, что это такое и как ими манипулировать с помощью git?