Add deployment workflow #7

Merged
hubrecht merged 32 commits from refs/pull/7/head into master 2023-06-30 11:56:52 +02:00
Showing only changes of commit 25785840e4 - Show all commits

View file

@ -28,6 +28,9 @@ jobs:
run: | run: |
HOME="$GITHUB_WORKSPACE" HOME="$GITHUB_WORKSPACE"
echo "[+] Installing required packages"
nix-env -iA openssh
echo "[+] Using SSH_DEPLOY_KEY" echo "[+] Using SSH_DEPLOY_KEY"
# Setup deploy key # Setup deploy key
@ -69,11 +72,3 @@ jobs:
GIT_USER_EMAIL: automated-update@dgnum.eu GIT_USER_EMAIL: automated-update@dgnum.eu
GIT_USER_NAME: Forgejo Action GIT_USER_NAME: Forgejo Action
GIT_ORIGIN_SERVER: git.hubrecht.ovh GIT_ORIGIN_SERVER: git.hubrecht.ovh
# with:
# github-server: codeberg.org
# source-directory: pages/
# destination-github-username: 'DGNum'
# destination-repository-name: 'pages-test'
# user-email: tom.hubrecht@dgnum.eu
# commit-message: See ORIGIN_COMMIT from $GITHUB_REF
# target-branch: main