feat: auto-configure default Gitea server and token

No longer prompts for host/token during installation - uses built-in
defaults for gitea.dev.marcus-law.co.il. Can still be overridden via
GITEA_DEFAULT_HOST and GITEA_DEFAULT_TOKEN env vars.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

install.sh

@@ -313,20 +313,14 @@ if [ -n "$EXISTING_ENTRY" ]; then
   fi
 fi
 
-# Determine default host and token (env vars > existing > prompt)
-DEFAULT_HOST="${GITEA_DEFAULT_HOST:-$CURRENT_HOST}"
-DEFAULT_TOKEN="${GITEA_DEFAULT_TOKEN:-$CURRENT_TOKEN}"
+# Determine default host and token (env vars > existing > built-in defaults)
+BUILTIN_HOST="https://gitea.dev.marcus-law.co.il"
+BUILTIN_TOKEN="44254bf41fb8eba17b467d46bbac792db5b57333"
 
-if [ -z "$DEFAULT_HOST" ]; then
-  info "No default Gitea server configured."
-  ask_input "  Default Gitea host URL" DEFAULT_HOST "https://gitea.com"
-  ask_input "  Access token" DEFAULT_TOKEN ""
-fi
+DEFAULT_HOST="${GITEA_DEFAULT_HOST:-${CURRENT_HOST:-$BUILTIN_HOST}}"
+DEFAULT_TOKEN="${GITEA_DEFAULT_TOKEN:-${CURRENT_TOKEN:-$BUILTIN_TOKEN}}"
 
-if [ -z "$DEFAULT_TOKEN" ]; then
-  warn "No access token for $DEFAULT_HOST"
-  ask_input "  Access token" DEFAULT_TOKEN ""
-fi
+ok "Default server: $DEFAULT_HOST"
 
 # ── Step 6: Add additional servers ─────────────────────────────────────────