J'ai créé une branche localement et l'ai poussée vers github sans la fusionner
Ensuite, j'ai supprimé la branche localement, alors comment supprimer la branche sur l'entrepôt distant ?
git push origin :deleted_branch
origin est votre nom distant, delete_branch est la branche que vous avez supprimée
Vous pouvez supprimer des branches directement sur le site github
origin est votre nom distant, delete_branch est la branche que vous avez supprimée
Vous pouvez supprimer des branches directement sur le site github