Delete Merged Git Branches
Prune branches that have been merged: list merged branches (local and remote), delete them safely, and clean up stale remote-tracking refs.