Utiliser deux URL différentes pour le pull et le push

💡 Sujet

Configurer Git pour utiliser deux URL différentes :

• une pour le pull (lecture),
• une autre pour le push (écriture).

Pratique lorsque, par exemple, on souhaite cloner ou tirer en SSH mais pousser en HTTPS afin d’être invité à saisir un mot de passe ou un token.

⚙️ Configuration

Git permet d’avoir plusieurs URL pour un même remote (origin).
On peut ainsi distinguer le comportement pour le fetch (pull) et le push.

✅ Exemple

# Supprime l'URL existante
git remote remove origin

# Ajoute le remote avec l'URL SSH pour le pull
git remote add origin git@github.com:username/repo.git

# Ajoute une URL HTTPS spécifique pour le push
git remote set-url --push origin https://github.com/username/repo.git

🔍 Vérifier la configuration

git remote -v

Résultat attendu :

origin  git@github.com:username/repo.git (fetch)
origin  https://github.com/username/repo.git (push)

🧩 Résumé

• Git permet d’avoir une URL différente pour le pull et le push.
• Idéal pour :
  • pull via SSH (rapide, sans mot de passe)
  • push via HTTPS (avec mot de passe ou token)
• Commande clé :

  git remote set-url --push origin <url_https>

🔗 Références

• Git — remote set-url (Documentation officielle)
• Stack Overflow — Different URL for push and pull in Git