関連ワード:  git push delete origin tag    git push delete remote tag    git push delete tag  
結果 : git push delete origin tag