Clone the watched repository from Gitea by default #21

Merged
mi merged 2 commits from mi/gitea-default-clone-url AGit into main 2026-09-04 13:33:08 +02:00
2 Commits
Author SHA1 Message Date
mhoennigandClaude Opus 5 85f4dae7bb docs(prs): the gitea-default-clone-url PR-doc
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-04 13:29:34 +02:00
mhoennigandClaude Opus 5 94a6cf39b6 tools/remote clones the watched repository from Gitea by default
The repository moved to git.javagil.de, but repo-init still defaulted to
the GitHub mirror, which is no longer updated.
A freshly cloned instance therefore watched a stale main.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-04 13:29:16 +02:00