« Git/Branches » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 44 :
$ git push origine <NomBranche>
===
To delete a branch that has been pushed to a remote server, use the following command:
| |||
Ligne 44 :
$ git push origine <NomBranche>
===
To delete a branch that has been pushed to a remote server, use the following command:
| |||