tools: Add patch command to "git diff"

- May as well let the changes be easily removed.
This commit is contained in:
Andrew Hamilton 2025-06-27 23:02:57 +10:00
parent 906b0510bb
commit 267a100b09

View file

@ -128,6 +128,7 @@ tools_for_extensions = [
dependencies = ["git"]
url = "https://git-scm.com/docs/git-diff"
command = "git diff --exit-code"
patch_command = "git checkout"
has_color = true
[git_blame]