Plus besoin de taper user/password manuellement à chaque push. Charge la
variable redox_wayland depuis le .env hors-repo, injecte-la dans une URL
temporaire passée comme argument à `git push` (pas de persistance dans
.git/config), redacte le token de toute sortie au cas où il fuiterait
dans un message d'erreur, et fait un fetch après pour synchroniser
correctement le tracking ref origin/main.
Note implémentation : `git -c remote.origin.url=...` ne semble PAS
overrider l'URL utilisée pour push (testé localement), donc on passe
l'URL en argument explicite. Inconvénient : tracking ref ne se met pas
à jour automatiquement → on ajoute un git fetch ciblé après succès du
push pour réaligner origin/main.
Usage : tools/push.sh [args git push optionnels]
Surcharge : REDOX_ENV=/autre/.env tools/push.sh
Leyoda 2026 – GPLv3
ef06962c1c