La branche distante de Git est supprimée, mais elle apparaît toujours dans 'branch -a'.

Question

Disons que j'ai une branche nommée coolbranch dans mon dépôt.

Maintenant, j'ai décidé de le supprimer (à la fois à distance et localement) avec :

git push origin :coolbranch
git branch -D coolbranch

Super ! Maintenant la branche est vraiment supprimée.

Mais quand je cours

git branch -a

Je comprends toujours :

remotes/origin/coolbranch

Quelque chose à noter, c'est que lorsque je clone un nouveau référentiel, tout est parfait et git branch -a ne montre pas la branche.

J'aimerais savoir s'il existe un moyen de supprimer la branche de la base de données de l'entreprise. branch -a sans cloner une nouvelle instance ?

Answer 1

git remote prune origin comme suggéré dans l'autre réponse, supprimera toutes ces branches périmées. C'est probablement ce que vous voudriez dans la plupart des cas, mais si vous voulez juste supprimer cette branche particulière de suivi à distance, vous devriez le faire :

git branch -d -r origin/coolbranch

(Le -r est facile à oublier...)

-r dans ce cas, sera "Lister ou supprimer (si utilisé avec -d ) les branches de suivi à distance", selon la documentation de Git trouvée ici : https://git-scm.com/docs/git-branch

Answer 2

Essayez :

git remote prune origin

De la Documentation distante Git :

pruneau

Supprime toutes les données périmées branches de suivi à distance sous <nom>. Ces branches périmées ont déjà été supprimées du référentiel distant référencé par <nom>, mais sont toujours disponibles localement dans "remotes/<name>".

Avec l'option --dry-run, le rapport les branches qui seront élaguées, mais ne les mais ne les élague pas réellement.

Answer 3

N'oubliez pas l'impressionnant

git fetch -p

qui récupère et élague toutes les origines.

Answer 4

Dans notre cas particulier, nous utilisons Stash comme dépôt Git distant. Nous avons essayé toutes les réponses précédentes et rien ne fonctionnait. Nous avons fini par devoir faire ce qui suit :

git branch –D branch-name (delete from local)
git push origin :branch-name (delete from remote)

Ensuite, lorsque les utilisateurs voulaient retirer des modifications, ils devaient procéder comme suit :

git fetch -p

Answer 5

Utilizar:

git remote prune <remote>

Donde <remote> est un nom de source distante comme origine o en amont .

Ejemplo: git remote prune origin