.forgejo/workflows/deploy-dgnum.yaml

@@ -5,7 +5,6 @@ on:
   push:
     branches:
       - master
-      - test-deploy
 
 jobs:
   publish:
@@ -20,10 +19,6 @@ jobs:
           # Hack to set the cache in the working directory
           HOME="$GITHUB_WORKSPACE" nix-build dgnum.eu
 
-      # - name: Clone dgnum.eu pages
-      #   run: |
-      #     git clone https://codeberg.org/DGNum/pages
-      #
       - name: Push new website
         run: |
           export HOME="$GITHUB_WORKSPACE"
@@ -59,13 +54,13 @@ jobs:
           echo "[+] Creating commit"
           ORIGIN_COMMIT="https://$GIT_ORIGIN_SERVER/$GITHUB_REPOSITORY/commit/$GITHUB_SHA"
           git add .
-          git diff-index --quiet HEAD || git commit --message "Automatic pages update"
+          git diff-index --quiet HEAD || git commit --message "Automatic pages update from $ORIGIN_COMMIT"
 
           echo "[+] Pushing update"
           git push "$GIT_CMD_REPOSITORY" --set-upstream main
         env:
           SSH_DEPLOY_KEY: ${{ secrets.SSH_DEPLOY_KEY }}
-          GIT_REPOSITORY: pages-test
+          GIT_REPOSITORY: pages
           GIT_USER_EMAIL: automated-update@dgnum.eu
           GIT_USER_NAME: Forgejo Action
           GIT_ORIGIN_SERVER: git.hubrecht.ovh