Skip to content

Fix data & increase image quality #139

Fix data & increase image quality

Fix data & increase image quality #139

Workflow file for this run

name: Mirroring
on: [push, delete]
jobs:
mirror:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Setup ssh and git
run: |
mkdir -p ~/.ssh
echo "${{ secrets.SSH_KEY }}" > ~/.ssh/id_ed25519
chmod 600 ~/.ssh/id_ed25519
git config --global user.name "NalsaiBot" &&
git config --global user.email "[email protected]"
- name: Mirror repository
run: |
git remote add mirror [email protected]:nalsai/en.nalsai.de.git
git push --tags --force --prune mirror "refs/remotes/origin/*:refs/heads/*"