* maint: git-gui: Don't quit when we destroy a child widget Make the installation target of git-gui a little less chatty