[PATCH] gitk - dont warn when deleting synonym for current head
From: Mark Levedahl <hidden>
Date: 2016-06-15 22:43:29
Subsystem:
the rest · Maintainer:
Linus Torvalds
Selecting "remove this branch" on a branch equal to HEAD yielded a warning that this branch is not in any other: it is, it is on HEAD. Curiosly, this warning was not triggered for any other deletion and so is at best misleading. Get rid of it. Signed-off-by: Mark Levedahl <redacted> --- gitk | 6 ------ 1 files changed, 0 insertions(+), 6 deletions(-)
diff --git a/gitk b/gitk
index 769c79a..055cdc7 100755
--- a/gitk
+++ b/gitk@@ -6171,12 +6171,6 @@ proc rmbranch {} { error_popup "Cannot delete the currently checked-out branch" return } - set dheads [descheads $id] - if {$dheads eq $headids($head)} { - # the stuff on this branch isn't on any other branch - if {![confirm_popup "The commits on branch $head aren't on any other\ - branch.\nReally delete branch $head?"]} return - } nowbusy rmbranch update if {[catch {exec git branch -D $head} err]} {
--
1.5.3.rc4.80.ge600