Git branch deletion

Question

In Git, what does \"deletion\" of a branch mean?

Will it be gone from the repository? Or will it still be navigable to via git branch?

What I reall

Answer 1

It won't be navigable via git branch and until garbage collection is performed, it won't be lost from the repository.

If you want to mark the branch in question as a dead end then simply do so (git may not do this for you but you certainly can)!

Labelling it (in any way you prefer) as a historical reference works.