add pages workflow

.gitea/workflows/pages.yaml

@@ -0,0 +1,26 @@
+name: pages
+on:
+  push:
+    branches:
+      - master
+jobs:
+  publish:
+    runs-on: nix
+    steps:
+      - uses: actions/checkout@v4
+      - name: publish
+        env:
+          ATTIC_TOKEN: ${{ secrets.ATTIC_TOKEN }}
+        run: |
+          attic login humbaba https://cache.home.all-dressed-programming.com/ "$ATTIC_TOKEN"
+          attic use humbaba:nix
+          path=$(nix store add-path ./docs)
+          attic push humbaba:nix "$path"
+          git config user.name "gitea-actions"
+          git config user.email "gitea-actions@git.home.all-dressed-programming.com"
+          git checkout --orphan pages
+          git rm -rf .
+          printf '%s\n' "$path" > store-path
+          git add store-path
+          git commit -m "pages: $GITHUB_SHA"
+          git push -f origin pages