From c27cb28ec5d63078395f089524b1263d6484be1b Mon Sep 17 00:00:00 2001
From: nhkeni <keni@his.com>
Date: Tue, 24 Dec 2024 12:46:53 -0500
Subject: [PATCH] Use old-style --int flag to git to work with older gits.

---
 DEVEL/hooksdir/NHgithook.pm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DEVEL/hooksdir/NHgithook.pm b/DEVEL/hooksdir/NHgithook.pm
index 3f52008c0..065fcd60a 100644
--- a/DEVEL/hooksdir/NHgithook.pm
+++ b/DEVEL/hooksdir/NHgithook.pm
@@ -151,7 +151,7 @@ sub nhversioning {
 	# Check for pre-v4 source repo.
     my $is_sourcerepo;
     {
-	chomp($is_sourcerepo = `git config --type=int --get nethack.is-sourcerepo`);
+	chomp($is_sourcerepo = `git config --int --get nethack.is-sourcerepo`);
 	if(0 == length $is_sourcerepo){	# not set - assume old repo
 	    $is_sourcerepo = 1;
 	}elsif($is_sourcerepo==1){