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> Co-authored-by: mhoennig <michael@hoennig.de> Reviewed-on: #21