Dans VSCode, après avoir effectué une pull request et supprimé la branche sur GitHub, cette branche apparaît toujours dans Visual Studio Code. Si je sélectionne la branche, cela donne une erreur, comme prévu. Comment supprimer ces branches maintenant supprimées de VSCode - puis-je le faire...