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 3dfc666f7c - Show all commits

View file

@ -29,6 +29,15 @@ jobs:
cp -R --no-preserve=mode,ownership,timestamps result/* pages/ cp -R --no-preserve=mode,ownership,timestamps result/* pages/
- name: Push new website - name: Push new website
run: | id: push_directory
ls * uses: https://github.com/cpina/github-action-push-to-another-repository@main
ls ../* env:
SSH_DEPLOY_KEY: ${{ secrets.SSH_DEPLOY_KEY }}
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