website/.forgejo/workflows/deploy.yml

name: Deploy
on:
  push:
    branches:
      - main

jobs:
  deploy:
    runs-on: debian-12
    permissions:
      contents: write
    steps:
      - uses: https://code.forgejo.org/actions/checkout@v3
        with:
          fetch-depth: 0
      - name: Install latest mdbook
        run: |
          apt-get update -qq
          apt-get install -qq jq
          tag="$(curl 'https://api.github.com/repos/rust-lang/mdbook/releases/latest' | jq -r '.tag_name')"
          url="https://github.com/rust-lang/mdbook/releases/download/${tag}/mdbook-${tag}-x86_64-unknown-linux-gnu.tar.gz"
          mkdir mdbook
          curl -sSL "$url" | tar -xz --directory=./mdbook
          echo "`pwd`"/mdbook >> $GITHUB_PATH
      - name: Build Book
        run: |
          mdbook build
      - name: Push to rendered branch
        run: |
          hash="$(git log -n 1 --format=reference)"
          git branch -D rendered &> /dev/null || true
          git worktree add --detach --no-checkout dist
          cd dist
          git switch --orphan=rendered
          cd ..
          mv dist/.git book/.git
          rmdir dist
          mv book/ dist/
          cd dist
          git add .
          git config user.name "CI"
          git config user.email "ci@noreply.libre-chip.org"
          git commit -n -m "rendered version of $hash"
          [[ "${{ github.server_url }}" =~ ^"https://"(.*)$ ]]
          git remote set-url origin "https://x-access-token:${{ github.token }}@${BASH_REMATCH[1]}/${{ github.repository }}"
          git push -f origin rendered