github: allow update to specific commit

Signed-off-by: David Bauer <[email protected]>
freifunk-darmstadt · Dec 13, 2023 · 8aa1720 · 8aa1720
1 parent 648bbb9
commit 8aa1720
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.github/workflows/bump-gluon.yml b/.github/workflows/bump-gluon.yml
@@ -10,6 +10,10 @@ on:
         description: "Site branch to update"
         required: true
         default: "master"
+      gluon-commit:
+        description: "Gluon commit to update to"
+        required: true
+        default: "HEAD"
 
 jobs:
   update-gluon:
@@ -33,11 +37,11 @@ jobs:
       - name: Checkout Gluon branch
         run: git -C $GLUON_CHECKOUT_DIR checkout "$(jq -r '.gluon.branch' $BUILD_INFO)"
 
-      - name: Get HEAD commit hash
+      - name: Get commit hash
         id: head-hash
         run: |
-          echo "hash=$(git -C $GLUON_CHECKOUT_DIR rev-parse HEAD)" >> "$GITHUB_OUTPUT"
-          echo "short-hash=$(git -C $GLUON_CHECKOUT_DIR rev-parse --short HEAD)" >> "$GITHUB_OUTPUT"
+          echo "hash=$(git -C $GLUON_CHECKOUT_DIR rev-parse ${{ github.event.inputs.gluon-commit }})" >> "$GITHUB_OUTPUT"
+          echo "short-hash=$(git -C $GLUON_CHECKOUT_DIR rev-parse --short ${{ github.event.inputs.gluon-commit }})" >> "$GITHUB_OUTPUT"
 
       - name: Get build-info.json commit hash
         id: build-info-hash