Cleaning up your Git workspace
Deleting already merged local git branches
Recently I have been working on refactoring an existing code base, which resulted
in quite a number of pull requests each of which originated from
own branch, which of course…