Prune Merged Branches

Delete branches that are already merged, keep the rest.

A beginner Git challenge worth 3 points. Solve it hands-on in a real Git environment in your browser - no local setup, no fake shells.