Wake Hermes when Emil comments on a pull request

Reviewed-on: Emil_Shanaty/devlog#3

.gitea/workflows/comment.yml

@@ -0,0 +1,22 @@
+# Wakes Hermes when Emil comments on a pull request of the devlog (a general comment, a review, or a comment on a line): it drops a signal file into a folder
+# that a systemd path unit on the server watches; that unit runs Hermes, which answers the comment. Only Emil's own comments count: Hermes's replies never
+# wake it again. Lives in the devlog repository as .gitea/workflows/comment.yml (it runs from main, so it starts working once merged).
+name: wake-hermes
+on:
+  issue_comment:
+    types: [created]
+  pull_request_review:
+    types: [submitted]
+  pull_request_review_comment:
+    types: [created]
+jobs:
+  wake:
+    if: github.actor == 'Emil_Shanaty'
+    runs-on: python
+    container:
+      image: python:3.13-alpine
+      volumes:
+        - /home/hermes/trigger:/trigger
+    steps:
+      - name: Drop the signal
+        run: test -d /trigger && date -u +%s > "/trigger/comment-$GITHUB_RUN_ID"

.gitea/workflows/publish.yml

@@ -0,0 +1,26 @@
+# Publishes the devlog on shanaty.ru when Emil merges an entry (a push to main of Emil_Shanaty/devlog).
+# Lives in the devlog repository as .gitea/workflows/publish.yml. It runs on the server's runner (label `python`), reads the merged entries
+# from Gitea and writes /data/devlog.json and /devlog/feed.xml of the site. The code is /opt/devlog/devlog_sync.py on the server, not from this
+# repository, so merging an entry never changes what runs.
+name: publish
+on:
+  push:
+    branches: [main]
+  workflow_dispatch:
+jobs:
+  publish:
+    runs-on: python
+    container:
+      image: python:3.13-alpine
+      volumes:
+        - /opt/devlog:/opt/devlog:ro
+        - /opt/gitea/site/data:/out/data
+        - /opt/gitea/site/devlog:/out/devlog
+    steps:
+      - name: Publish the merged entries
+        run: python3 /opt/devlog/devlog_sync.py
+        env:
+          DEVLOG_API: https://git.shanaty.ru/api/v1
+          DEVLOG_OUT_JSON: /out/data/devlog.json
+          DEVLOG_OUT_FEED: /out/devlog/feed.xml
+          PYTHONDONTWRITEBYTECODE: "1"