.forgejo/workflows/deploy-dgnum.yaml

@@ -21,16 +21,11 @@ jobs:
           HOME="$GITHUB_WORKSPACE" nix-build dgnum.eu
 
       - name: Clone dgnum.eu pages
-        uses: actions/checkout@v3
-        env:
-          GITHUB_SERVER_URL: 'https://codeberg.org'
-        with:
-          repository: 'DGNum/pages'
-          path: pages
+        run: |
+          git clone https://codeberg.org/DGNum/pages
 
       - name: Update assets
         run: |
-          rm -r ../pages/*
           cp -R --no-preserve=mode,ownership,timestamps result/* ../pages/
 
       - name: Push new website