Git удалить и повторно добавить тег

В 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 перечисляет последнюю ошибку, но загружает ее правильно.

Ответы

Ответ 1

Ссылка 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 на удаленном конце.