How to delete local branches of GitExtension
(Jin Qing's Column, Dec., 2021)
GitExtension is a good tool. After a long time of usage, my branch list finally reaches over a full screen, and it is hard to select the branch I want.
GitExtension always remembers all the branches of remote and local, even they have been deleted.
I tried to find a way to delete these branches which are already merged, but resulted in futile.
It has a plugin names "Delete obsolete branches", but I don't know how to use it.
Finally I renamed the work directory, and cloned a new one, which clears all the branches.
It seems that these branches are stored in local .git directory.
If let GitExt open the renamed directory, these branches reappears.