« Git/Branches » : différence entre les versions

Contenu supprimé Contenu ajouté
Aucun résumé des modifications
Ligne 45 :
 
=== Effacer une branche d'un dépôt distant ===
Pour effacer une branche précédemment poussée vers un serveur distant :
To delete a branch that has been pushed to a remote server, use the following command:
 
$ git push DepotDOrigine :<NomBranche>
 
Pour écraser une branche par une autre :
This syntax isn't intuitive, but what's going on here is you're issuing a command of the form:
 
$ git push DepotDOrigine <BrancheLocale>:<BrancheDistante>
 
and giving an empty branch in the <tt><BrancheLocale></tt> position, meaning to overwrite the branch with nothing.
 
==Merging==