From 42a38b507589968248718c91ae34cf6afa1c3017 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Sun, 16 Mar 2025 21:57:16 -0500 Subject: T7121: script_name defined as string, not string option, by construction --- src/commit.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/commit.mli') diff --git a/src/commit.mli b/src/commit.mli index 6db7f3a..d1c9c69 100644 --- a/src/commit.mli +++ b/src/commit.mli @@ -4,7 +4,7 @@ type status = { } type node_data = { - script_name: string option; + script_name: string; priority: int; tag_value: string option; arg_value: string option; -- cgit v1.2.3