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

Re: [PATCH] gitk tag delete/rename support

From
Paul Mackerras <paulus@samba.org>
Date
Jan 2, 2013, 07:11 UTC
Message-ID
<20130102071153.GF20724@iris.ozlabs.ibm.com>
In-Reply-To
<1353870345-3054-1-git-send-email-leon.kukovec@gmail.com>
On Sun, Nov 25, 2012 at 08:05:45PM +0100, Leon KUKOVEC wrote:
> Right clicking on a tag pops up a menu, which allows
> tag to be renamed or deleted.

Nice idea, but I am concerned that renaming a tag that refers to a tag object will turn it into a lightweight tag, which would be surprising for users. I think that needs to be fixed before I apply the patch. Also, when renaming a tag it would be good to check for the cases where the new name is the same as the old (in which case nothing needs to be done) and where the new name already exists.

Thanks, Paul.

Previous: Leon KUKOVEC
Message 7 of 7 in “gitk tag delete/rename support”
  1. gitk tag delete/rename supportLeon KUKOVEC, Nov 23, 2012
  2. Ramkumar RamachandraNov 23, 2012
  3. gitk tag delete/rename supportLeon KUKOVEC, Nov 23, 2012
  4. Junio C HamanoNov 25, 2012
  5. Leon KUKOVECNov 25, 2012
  6. gitk tag delete/rename supportLeon KUKOVEC, Nov 25, 2012
  7. Paul MackerrasJan 2, 2013

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.