GitKraken External Tool Preferences and System Git Configuration: Tool Selection Boundary
GitKraken exposes Preferences settings for selecting external diff and merge tools, distinct from the core Git CLI's diff.tool and merge.tool variables. Because the application manages its own Git operations, a user's system-level Git configuration may not automatically propagate into the GUI's tool selection. One unresolved behavior is whether GitKraken def