WIP: replace checkout again

This time, replacing checkout with a few more explicit commands

Author: cabutlermit

.github/workflows/dev-manual.yml

@@ -7,11 +7,17 @@ jobs:
     name: deploy-theme
     runs-on: [self-hosted, linux, stage]
     steps:
+      - name: setup-git
+        run: |
+          git config --global user.name "github-actions"
+          git config --global user.email "[email protected]"
+      - name: clone-repo
+        run: |
+          git clone https://github.com/${{ github.repository }} repo
+          cd repo
+          git checkout ${{ github.sha }}
       - name: deploy-theme
         run: |
-          cd "$GITHUB_WORKSPACE"
-          git clone "https://github.com/$GITHUB_REPOSITORY.git" .
-          git checkout "$GITHUB_SHA"
           chown -R :client .
           chmod -R g+w .
           make deploy