git-gui: Expose the merge.diffstat configuration option

diff --git a/lib/remote.tcl b/lib/remote.tcl
index 99f353ed7d793ca9accf2c5d246938c8a51fea02..b54824ab725d9f11c6c5a38a8e0c53f37e41adc5 100644 (file)
--- a/lib/remote.tcl
+++ b/lib/remote.tcl
@@ -95,6 +95,7 @@ proc populate_fetch_menu {} {
        global all_remotes repo_config
 
        set m .mbar.fetch
+       set prune_list [list]
        foreach r $all_remotes {
                set enable 0
                if {![catch {set a $repo_config(remote.$r.url)}]} {
@@ -115,11 +116,21 @@ proc populate_fetch_menu {} {
                }
 
                if {$enable} {
+                       lappend prune_list $r
                        $m add command \
                                -label "Fetch from $r..." \
                                -command [list fetch_from $r]
                }
        }
+
+       if {$prune_list ne {}} {
+               $m add separator
+       }
+       foreach r $prune_list {
+               $m add command \
+                       -label "Prune from $r..." \
+                       -command [list prune_from $r]
+       }
 }
 
 proc populate_push_menu {} {