Andrew's git
/
gitweb.git
/ blobdiff
summary
|
log
|
commit
|
diff
|
tree
commit
grep
author
committer
pickaxe
?
re
git-gui: Allow users to delete remote branches
[gitweb.git]
/
git-gui.sh
diff --git
a/git-gui.sh
b/git-gui.sh
index 755f0643bec3346746e3ee03ed4d97becb4830a1..c5f132993295d7f915255071b4005e44003d8c3a 100755
(executable)
--- a/
git-gui.sh
+++ b/
git-gui.sh
@@
-1531,6
+1531,8
@@
if {[is_enabled transport]} {
menu .mbar.push
.mbar.push add command -label {Push...} \
-command do_push_anywhere
+ .mbar.push add command -label {Delete...} \
+ -command remote_branch_delete::dialog
}
if {[is_MacOSX]} {