git-gui
git-gui copied to clipboard
Allow editing existing tools
Right now, tools can be added and deleted via the "Tools" menu, but they can't be edited. To edit a tool, you either need to change it in the .git/config file (or the global config file). There is no way to edit a tool from the GUI.