From 4242ebf7b658a37bd723cfb69a149000a44a7207 Mon Sep 17 00:00:00 2001 From: Tom Hubrecht Date: Fri, 30 Jun 2023 11:55:47 +0200 Subject: [PATCH] Test workflow (v33) --- .forgejo/workflows/deploy-dgnum.yaml | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/.forgejo/workflows/deploy-dgnum.yaml b/.forgejo/workflows/deploy-dgnum.yaml index 871b908..54f2ec3 100644 --- a/.forgejo/workflows/deploy-dgnum.yaml +++ b/.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