À retenir
- Désigne l'envoi de code du poste de travail vers un serveur.
- Indispensable pour le travail collaboratif en programmation.
- C'est l'étape qui suit généralement le « commit » (l'enregistrement local).
Pusher consiste à envoyer les modifications effectuées sur son propre ordinateur vers un serveur centralisé (appelé dépôt distant) pour les partager avec d'autres personnes. Imaginez que vous travaillez sur un document texte hors-ligne : pusher revient à cliquer sur un bouton pour mettre à jour la version commune stockée sur un cloud partagé.
Étymologie
Il s'agit d'un anglicisme directement tiré du verbe anglais to push, qui signifie « pousser ». Dans l'informatique moderne, ce terme est indissociable de l'outil de gestion de versions Git, où la commande push est l'instruction standard pour expédier ses fichiers vers une plateforme comme GitHub ou GitLab.
Exemples d'usage
- Un développeur web qui termine une page d'accueil et l'envoie sur le dépôt du projet pour que ses collègues y accèdent.
- L'utilisation de la commande
git push origin maindans un terminal de commandes.
Cas d'usage
Ce concept intervient systématiquement dans le développement logiciel professionnel et collaboratif. Il est utilisé pour sauvegarder son travail sur un serveur sécurisé, synchroniser les efforts d'une équipe de programmation et déclencher parfois la mise en ligne automatique d'un site web.
Bonnes pratiques
Avant de pusher, il est crucial de s'assurer que le code fonctionne et ne contient pas d'erreurs majeures. Une règle d'or est de toujours effectuer un « pull » (récupérer les changements des autres) avant de pusher, afin d'éviter des conflits de versions complexes à résoudre.
Synonymes
Antonymes
Conseil
Si vous débutez, prenez l'habitude de pusher des petits morceaux de code cohérents plutôt que d'attendre la fin de la semaine pour envoyer un bloc énorme. Cela rend le suivi des erreurs beaucoup plus simple pour vous et votre équipe.
Questions fréquentes
Quelle est la différence entre un commit et un push ?
Le commit valide vos changements uniquement sur votre ordinateur. Le push transfère ces changements validés vers le serveur distant pour les rendre visibles aux autres.
Peut-on pusher sans connexion internet ?
Non, car le push nécessite de communiquer avec un serveur distant via le réseau.