git tag delete and re-add

На 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 неправильно отображает последний коммит, но загружает его правильно.