GitDeclutter: know which local Git branches are safe to delete

A merged pull request does not mean the local branch on your laptop is empty. I kept learning that...