ci: mirror to gitlab.com and code.bernius.net
This commit is contained in:
parent
7d8dfe381b
commit
648dc03baf
35
.github/workflows/man.yaml
vendored
35
.github/workflows/man.yaml
vendored
|
@ -24,6 +24,9 @@ jobs:
|
|||
ruby-version: '3.3'
|
||||
bundler-cache: true
|
||||
|
||||
- name: Configure Umami
|
||||
run: echo '${{ vars.UMAMI_SCRIPT }}' >> README.md
|
||||
|
||||
- name: ronn --html
|
||||
run: bundle exec ronn --html --style=toc --organization="Jan Philip Bernius" README.md
|
||||
|
||||
|
@ -39,3 +42,35 @@ jobs:
|
|||
- name: Deploy to GitHub Pages
|
||||
id: deployment
|
||||
uses: actions/deploy-pages@v4
|
||||
|
||||
mirror:
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
strategy:
|
||||
matrix:
|
||||
environment: ["gitlab.com", "code.bernius.net"]
|
||||
|
||||
environment: ${{ matrix.environment }}
|
||||
|
||||
env:
|
||||
SSH_AUTH_SOCK: /tmp/ssh_agent.sock
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@v3
|
||||
with:
|
||||
fetch-depth: 0
|
||||
|
||||
- name: Setup SSH Private Key
|
||||
run: |
|
||||
ssh-agent -a $SSH_AUTH_SOCK > /dev/null
|
||||
ssh-add - <<< "${{ secrets.SSH_KEY }}"
|
||||
|
||||
- name: Setup SSH Host Key
|
||||
run: |
|
||||
mkdir -p ~/.ssh
|
||||
echo "${{ vars.SSH_HOST_KEY }}" >> ~/.ssh/known_hosts
|
||||
|
||||
- name: Setup Git Remote
|
||||
run: git remote add mirror ${{ vars.GIT_REMOTE }}
|
||||
|
||||
- run: git push --force mirror man
|
||||
|
|
|
@ -82,7 +82,7 @@ Taught the courses Introduction to Software Engineering (~2,200 students), Patte
|
|||
## ACKNOWLEDGEMENTS
|
||||
|
||||
This `man` style personal page is inspired by Major Haydens [major_hayden(1)] entry.
|
||||
the [jpbernius(1)] page is rendered from Markdown using [ronn].
|
||||
The [jpbernius(1)] page is rendered from Markdown using [ronn].
|
||||
|
||||
[major_hayden(1)]: https://majorhayden.com
|
||||
[jpbernius(1)]: https://jpbernius.com
|
||||
|
|
Loading…
Reference in a new issue