Git - faire du ménage après un merge coté serveur

Nettoyer son dépôt local après avoir fusionné (merge) sa branche dans le master coté serveur (Merge Resquest pour GitLab, Pull request pour GitHub).
 
Dans notre cas la branche old-branch est fusionnée dans master et supprimée du dépôt distant git@depot-distant.com/mon-projet.git, mais présente encore en local.
 
Lancer la commande remote show, pour inspecter le dépôt distant et visualiser plus d'informations à propos de ce dernier :
 
# git remote show origin
 
* distante origin
  URL de rapatriement : git@depot-distant.com/mon-projet.git
  URL push : git@depot-distant.com/mon-projet.git
  Branche HEAD : master
  Branches distantes :
    master                                   suivi
    refs/remotes/origin/old-branch dépassé (utilisez 'git remote prune' pour supprimer)
  Branche locale configurée pour 'git pull' :
    master fusionne avec la distante master
  Référence locale configurée pour 'git push' :
    master pousse vers master (à jour)
 
# git remote prune origin
 
Élimination de origin
URL : git@depot-distant.com/mon-projet.git
 * [éliminé] origin/old-branch
 
Après le netoyage:
 
# git remote show origin
 
* distante origin
  URL de rapatriement : git@depot-distant.com/mon-projet.git
  URL push : git@depot-distant.com/mon-projet.git
  Branche HEAD : master
  Branche distante :
    master suivi
  Branche locale configurée pour 'git pull' :
    master fusionne avec la distante master
  Référence locale configurée pour 'git push' :
    master pousse vers master (à jour)
                                        

Tags: 

Catégories: 

Share/Save