wip

nitlang · Jun 26, 2024 · 1137a6d · 1137a6d
1 parent 6595687
commit 1137a6d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/misc/jenkins/ensuregit.sh b/misc/jenkins/ensuregit.sh
@@ -11,8 +11,9 @@ if [ ! -d .git ]; then
 fi
 
 set -x
-git config --global --add safe.directory "$PWD" # because github action requires it
-git fetch origin
+git config --global --add safe.directory "$PWD" # Because github messes with the homedir
+git fetch --unshallow # Because github does --depth=1
+git fetch origin # Ensure origin/master is here
 git remote -v
 git branch -av
 git log --oneline --graph --decorate origin/master..HEAD