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 use

[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 --- gitk-git/gitk | 154 + 1 file changed, 154 insertions(+) diff --git a/gitk-git/gitk b/gitk-git/gitk index d93bd99..38cc233

Re: [PATCH] gitk tag delete/rename support

Hi, On Sun, Nov 25, 2012 at 7:26 AM, Junio C Hamano 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. Will do that.

Re: [PATCH] gitk tag delete/rename support

Leon KUKOVEC writes: > Right clicking on a tag pops up a menu, which allows > tag to be renamed or deleted. > > Signed-off-by: Leon KUKOVEC > --- 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

[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 --- gitk-git/gitk | 154 + 1 file changed, 154 insertions(+) diff --git a/gitk-git/gitk b/gitk-git/gitk index d93bd99..38cc233

[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 h