В git hub я снова добавил тег, выполнив:
git tag -d 12.15
git push origin :refs/tags/12.15
git tag -a 12.15 -m '12.15'
git push --tags
Тег все еще ссылается на старый тег на github, но локально он выполняется правильно.
UPDATE: Кажется, github перечисляет последнюю ошибку, но загружает ее правильно.
Ссылка fooobar.com/info/856/...
Вам просто нужно нажать "пустую" ссылку на имя удаленного тега:
git push origin :tagname
Или, более выразительно, используйте опцию --delete:
git push --delete origin tagname
Нажатие ветки, тега или другого ref в удаленный репозиторий включает указание "нажимать, где, какой источник, какой пункт назначения?"
git push where-to-push source-ref:destination-ref
Пример реального мира, в котором вы нажимаете главную ветвь ведущей ветки оригинала:
git push origin refs/heads/master:refs/heads/master
Который из-за путей по умолчанию может быть сокращен до:
git push origin master:master
Теги работают одинаково:
git push refs/tags/release-1.0:refs/tags/release-1.0
Отключив исходный номер ref (часть перед двоеточием), вы нажимаете "ничего" на место назначения, удаляя ref на удаленном конце.