init-phone: Benutzername aus der Klon-Adresse entfernen

Das Repo ist anonym lesbar; Zugangsdaten braucht nur der Push, und der findet auf
dem PC statt. Stand der Benutzername trotzdem in der URL, fragte git auf dem
Telefon nach einem Passwort — auf einer Bildschirmtastatur eine unnötige Quälerei
für einen Zugriff, der gar keine Anmeldung erfordert.

provision.sh entfernt ihn beim Einsetzen der Adresse, init-phone.sh zusätzlich
beim Ausführen — so ist auch eine von Hand übergebene Adresse abgedeckt. Die
Ersetzung greift nur bei http(s); SSH-Adressen bleiben unberührt, dort ist git@
zwingend.

Damit entfällt auch das Angebot, Zugangsdaten auf dem Telefon zu speichern. Der
credential.helper wird dort stattdessen ausdrücklich geleert: das Telefon liest
nur und soll nie versehentlich zurückschreiben wollen.

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

provision/provision.sh

@@ -282,6 +282,15 @@ if [ -z "$REPO_URL" ]; then
     read -r REPO_URL </dev/tty || REPO_URL=""
 fi
 
+# Benutzernamen entfernen: das Telefon liest nur, und Lesen geht anonym. Bliebe
+# der Name in der Adresse, fragte git dort nach einem Passwort — auf einer
+# Bildschirmtastatur eine unnötige Quälerei.
+if [ -n "$REPO_URL" ]; then
+    REPO_URL_ROH="$REPO_URL"
+    REPO_URL=$(printf '%s' "$REPO_URL" | sed -E 's#^(https?://)[^/@]+@#\1#')
+    [ "$REPO_URL" != "$REPO_URL_ROH" ] && hinweis "Benutzername für das Telefon entfernt (Lesen geht anonym)"
+fi
+
 if [ "$TROCKEN" = 1 ]; then
     warn "Trockenlauf — es wird nichts übertragen."
 elif [ -z "$REPO_URL" ]; then