Debian update: need to check out the repo

Otherwise we cannot push to gh-pages. [ci skip]
r-lib · Sep 1, 2023 · 66af0ef · 66af0ef
1 parent 14ed966
commit 66af0ef
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/deb-repo.yaml b/.github/workflows/deb-repo.yaml
@@ -10,5 +10,8 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+
     - name: Update
       uses: gaborcsardi/debian-repo@v1