From 66af0ef0494a93a8831bd31bfbf342a12005be5f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?G=C3=A1bor=20Cs=C3=A1rdi?= <csardi.gabor@gmail.com>
Date: Fri, 1 Sep 2023 13:38:25 +0200
Subject: [PATCH] Debian update: need to check out the repo

Otherwise we cannot push to gh-pages.

[ci skip]
---
 .github/workflows/deb-repo.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/deb-repo.yaml b/.github/workflows/deb-repo.yaml
index f124ef7..51489b2 100644
--- 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