CI: mirror main + tags to GitHub after every merge to main #3

Merged
lilleman merged 1 commits from github-mirror into main 2026-07-03 15:51:07 +02:00

1 Commits

Author SHA1 Message Date
lilleman 6e60df7008 CI: mirror main + tags to GitHub after every merge to main; note true home in README
CI / full-gate (push) Successful in 2m28s
Mirror / github-mirror (push) Successful in 2s
2026-07-03 15:47:56 +02:00