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 上の古いタグを参照していますが、ローカルでは正しく実行されています。
更新: github は最後のコミットを間違ってリストしているようですが、ダウンロードは正しく行われています。
ベストアンサー1
参照はhttps://stackoverflow.com/a/5480292/1317035
リモート タグ名への「空の」参照をプッシュするだけです。
git push origin :tagname
または、より表現的に、次の--deleteオプションを使用します。
git push --delete origin tagname
ブランチ、タグ、またはその他の参照をリモート リポジトリにプッシュするには、「プッシュ先、ソース、宛先」を指定する必要があります。
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
ソース参照 (コロンの前の部分) を省略すると、宛先に「何も」プッシュされず、リモート側の参照が削除されます。