Re: [PATCH] gitk: avoid hardcoded 40 character length for oid

Current git could return ids larger than 40 characters if using
SHA-256.

Detect if the current repository does and set the oid_size to 64
instead, but fallback to 40 for backward compatibility.

Signed-off-by: Carlo Marcelo Arenas Belón <redacted>
---

diff --git a/gitk b/gitk

@@ -12338,6 +12347,18 @@ catch {
+if {![catch {exec git config --get extensions.objectformat} oid_type]
+    && $oid_type eq "sha256" } {
+    set oid_size 64
+} else {
+    set oid_type "sha1"
+    set oid_size 40
+}