Re: [PATCH] gitk tag delete/rename support

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

Re: [PATCH] gitk tag delete/rename support

Hi, On Sun, Nov 25, 2012 at 7:26 AM, Junio C Hamano gits...@pobox.com wrote: Thanks, but I prefer not to take patches to gitk-git/ directly; could you prepare a patch against Paul's tree at git://ozlabs.org/~paulus/gitk and send it in that direction (paulus@) instead? No problem.

[PATCH] gitk tag delete/rename support

Right clicking on a tag pops up a menu, which allows tag to be renamed or deleted. Signed-off-by: Leon KUKOVEC leon.kuko...@gmail.com --- gitk-git/gitk | 154 + 1 file changed, 154 insertions(+) diff --git a/gitk-git/gitk b/gitk-git/gitk

[PATCH] gitk tag delete/rename support

Right clicking on a tag pops up a menu, which allows tag to be renamed or deleted. Signed-off-by: Leon KUKOVEC leon.kuko...@gmail.com --- gitk-git/gitk | 154 + 1 file changed, 154 insertions(+) diff --git a/gitk-git/gitk b/gitk-git/gitk

[PATCH] gitk tag delete/rename support

--- gitk-git/gitk | 154 ++ 1 file changed, 154 insertions(+) diff --git a/gitk-git/gitk b/gitk-git/gitk index 17ba10a..12a7139 100755 --- a/gitk-git/gitk +++ b/gitk-git/gitk @@ -1981,6 +1981,7 @@ proc makewindow {} { global