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.

Reference:

• https://talk.plesk.com/threads/git-extension-doesnt-remove-deleted-branches.351838/
• https://plesk.uservoice.com/forums/184549-feature-suggestions/suggestions/39296707-git-extension-option-to-delete-branches