# how do I remove a tag on a remote repository I pushed to ? 2 messages from 2008-07-02 to 2008-07-02. Participants: Christian MICHON, Miklos Vajna. Thread: https://gitlist.dev/t/14254 ## Christian MICHON, 2008-07-02 12:52 Subject: how do I remove a tag on a remote repository I pushed to ? Message-ID: <46d6db660807020552x400b8f3x81f8bf6970729b0c@mail.gmail.com> URL: https://gitlist.dev/e/46d6db660807020552x400b8f3x81f8bf6970729b0c%40mail.gmail.com ``` Hi, I've a repo on github and apparently I used characters not accepted by github web interface (if I clone the repo, it's ok). This is a repo where I push to. I've seen here how to remove remote branches, but was there any hint on how to perform the same removal on remote tags ? Thanks in advance. -- Christian -- http://detaolb.sourceforge.net/, a linux distribution for Qemu with Git inside ! ``` ## Miklos Vajna, 2008-07-02 13:24 Subject: Re: how do I remove a tag on a remote repository I pushed to ? Message-ID: <20080702132447.GH4729@genesis.frugalware.org> URL: https://gitlist.dev/e/20080702132447.GH4729%40genesis.frugalware.org In-Reply-To: <46d6db660807020552x400b8f3x81f8bf6970729b0c@mail.gmail.com> ``` On Wed, Jul 02, 2008 at 02:52:58PM +0200, Christian MICHON wrote: > I've seen here how to remove remote branches, but was there any hint > on how to perform the same removal on remote tags ? The same way: git push origin :refs/tags/mytag ```