From 94a6cf39b644886749a62c1c8a61d5ebf476c5c6 Mon Sep 17 00:00:00 2001 From: mhoennig Date: Fri, 4 Sep 2026 13:29:16 +0200 Subject: [PATCH] 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 --- tools/remote | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/remote b/tools/remote index 945b722..67c7bcd 100755 --- a/tools/remote +++ b/tools/remote @@ -44,7 +44,7 @@ # Optional in the env file: # WERKATOR_INIT_CONFIG the init fragment to apply (repo-init, instance-start) # WERKATOR_REPO_URL https clone URL of the watched repository -# (default: https://github.com/mhoennig/werkator.git) +# (default: https://git.javagil.de/mi/werkator.git) # WERKATOR_REPO_DIR directory of the watched repository, absolute or relative to # WERKATOR_PATH (default: werkator); it also names the systemd # unit, exactly as `init --systemd` derives it @@ -122,7 +122,7 @@ require_env WERKATOR_REMOTE WERKATOR_PATH HOST="$WERKATOR_REMOTE" TARGET_DIR="$WERKATOR_PATH" ROOTFS="${WERKATOR_ROOTFS:-$REPO_ROOT/build/werkator-buildenv-trixie-java-go-node.tar.zst}" -REPO_URL="${WERKATOR_REPO_URL:-https://github.com/mhoennig/werkator.git}" +REPO_URL="${WERKATOR_REPO_URL:-https://git.javagil.de/mi/werkator.git}" # The host layout is three values, not one convention: an installation that grew # before this script existed puts them elsewhere, and the defaults are exactly what