Unshallow to find merge-base

Author: twizmwazin

ci-image/scripts/ga-typecheck.sh

@@ -12,11 +12,12 @@ source virtualenv/bin/activate
 uv pip install pyright
 
 cd src/${GITHUB_REPOSITORY##*/}
+git fetch --unshallow || true
+git fetch origin master:master || true
 HEAD_REV="$(git rev-parse HEAD)"
 if [[ $GITHUB_REF == "master" ]]; then
     BASE_REV="$(git rev-parse --abbrev-ref HEAD~)"
 else
-    git fetch origin master:master || true
     BASE_REV="$(git rev-parse --abbrev-ref master)"
 fi
 

ci-image/scripts/lint.py

@@ -45,11 +45,12 @@ def compare_lint():
     repo_name = os.path.basename(repo_dir)
 
     os.chdir(repo_dir)
+    subprocess.call("git fetch --unshallow".split())
+    subprocess.call("git fetch origin master".split())
     cur_branch = subprocess.check_output("git rev-parse --abbrev-ref HEAD".split()).decode().strip()
     if cur_branch == "master":
         compare_ref = 'HEAD^'
     else:
-        subprocess.call("git fetch origin master".split())
         compare_ref = subprocess.check_output("git merge-base origin/master {}".format(cur_branch).split()).decode()
 
     # get the files to lint