Lucas Winther 0826f24db9 ci: migrate Gitea workflows to .gitea and restore GitHub Pages in .github ...

Move the scheduled refresh and container-registry CI workflows into
.gitea/workflows/ so Gitea Actions runs them natively. Update
.github/workflows/ci.yml to build with BASE_PATH and deploy to GitHub
Pages upon push from the mirror sync, removing the Gitea-specific
container registry step. Update Dockerfile, .dockerignore, and test
harness to test and copy workflows from .gitea/.

2026-09-17 09:59:32 +02:00

..

ISSUE_TEMPLATE

docs: record that CI, the registry and the deploy moved to Gitea

2026-09-16 04:32:51 +02:00

workflows

ci: migrate Gitea workflows to .gitea and restore GitHub Pages in .github

2026-09-17 09:59:32 +02:00