From 96afe78a3963ee07eb33891ec59dc1c479109a74 Mon Sep 17 00:00:00 2001
From: Jean Privat <jean@pryen.org>
Date: Tue, 25 Jun 2024 16:11:10 -0400
Subject: [PATCH] wip

---
 misc/jenkins/ensuregit.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/misc/jenkins/ensuregit.sh b/misc/jenkins/ensuregit.sh
index 2ae58c149f..62efeb4a63 100755
--- a/misc/jenkins/ensuregit.sh
+++ b/misc/jenkins/ensuregit.sh
@@ -7,6 +7,8 @@ if ! test -f src/nitc.nit; then
 fi
 
 set -x
+git config --global --add safe.directory /__w/nit/nit
+git config --global --add safe.directory "$PWD"
 if [ -d .git ]; then
 	git remote set-url origin https://github.com/nitlang/nit.git
 	git fetch origin