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 <mdl123@xxxxxxxxxxx>
---
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
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
