Aller au contenu principal

Outils & environnement

Présentation des outils du développeur : éditeurs, terminal, Git, extensions et bonnes pratiques.

Illustration de l'article : Merge, rebase, reset, revert, cherry-pick, reflog : quelle commande Git pour quelle situation

Merge, rebase, reset, revert, cherry-pick, reflog : quelle commande Git pour quelle situation

Annuler un commit déjà poussé, récupérer une branche supprimée, copier un correctif d'une branche à l'autre, sortir d'un conflit sans tout casser : chaque situation a sa commande, et les confondre coûte cher. Cet article part de ce que Git garde en mémoire, puis passe les sept commandes en revue avec des cas réels, un arbre de décision et les pièges qui détruisent du travail.

Lire
Illustration de l'article : Protéger la branche main sur GitHub : pourquoi passer par une pull request plutôt que fusionner en local

Protéger la branche main sur GitHub : pourquoi passer par une pull request plutôt que fusionner en local

Un merge fait sur sa machine puis poussé directement sur main ne laisse aucune chance de rattraper une erreur avant qu'elle soit partagée. Cet article explique ce que la protection de branche et la pull request ajoutent, comment configurer une règle sur GitHub étape par étape, le cas du développeur seul, et les pièges de configuration qui rendent la protection inutile.

Lire