git-gui: Allow users to delete remote branches

[git.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]} {