checkout to specified branch

Author: andrewpareles

.github/workflows/stable-macos.yml

@@ -12,6 +12,10 @@ on:
       checkout_pr:
         type: string
         description: Checkout PR
+      void_commit:
+        type: string
+        description: Checkout specific Void commit
+
   repository_dispatch:
     types: [stable]
   push:
@@ -72,6 +76,8 @@ jobs:
         if: env.VSCODE_ARCH == 'x64'
 
       - name: Clone VSCode repo
+        env:
+          VOID_COMMIT: ${{ github.event.inputs.void_commit }}
         run: . get_repo.sh
 
       - name: Check PR or cron

get_repo.sh

@@ -33,8 +33,16 @@ cd vscode || { echo "'vscode' dir not found"; exit 1; }
 git init -q
 git remote add origin https://github.com/voideditor/void.git
 
-git fetch --depth 1 origin "${VOID_BRANCH}"
-git checkout FETCH_HEAD
+if [[ -n "${VOID_COMMIT}" ]]; then
+  echo "Using explicit commit ${VOID_COMMIT}"
+  # Fetch just that commit to keep the clone shallow.
+  git fetch --depth 1 origin "${VOID_COMMIT}"
+  git checkout "${VOID_COMMIT}"
+else
+  git fetch --depth 1 origin "${VOID_BRANCH}"
+  git checkout FETCH_HEAD
+fi
+
 
 MS_COMMIT=$VOID_BRANCH # VSCodium named this incorrectly, it should be called branch not commit
 MS_TAG=$( jq -r '.voidVersion' "product.json" )