git/list[1] front-page[2] threads[3] people[4] search[5] about
 

how do I remove a tag on a remote repository I pushed to ?

From
Christian MICHON <christian.michon@gmail.com>
Date
Jul 2, 2008, 12:52 UTC
Message-ID
<46d6db660807020552x400b8f3x81f8bf6970729b0c@mail.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 !
Next: Miklos Vajna
Message 1 of 2 in “how do I remove a tag on a remote repository I pushed to ?”
  1. Christian MICHONJul 2, 2008
  2. Miklos VajnaJul 2, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.