Fix typo in workflow file

Signed-off-by: Christian Wolf <github@christianwolf.email>
nextcloud · May 16, 2023 · a46d985 · a46d985
1 parent 7097b16
commit a46d985
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/pull-checks.yml b/.github/workflows/pull-checks.yml
@@ -60,11 +60,14 @@ jobs:
 
                     git clone --filter=tree:0 "$REPO" .
             -   name: Manual checkout of the app (PR head)
+                env:
+                    URL: ${{ github.event.pull_request.head.repo.html_url }}
+                    HEAD_REF: ${{ github.head_ref }}
                 run: |
-                    git remote add head "${{ github.event.pull_request.head.repo.html_url }}"
+                    git remote add head "$URL"
                     git fetch head --filter=tree:0
                     
-                    git checkout -b head-branch head/${{ github.head_ref }}
+                    git checkout -b head-branch head/$HEAD_REF
             -   name: Status of current git workspace
                 run: |
                     git branch