Close all todo that have been merged with a single click.

Problem to solve

When you haven't looked at TODO in a while, you may have a list of many MRs that are already merged. It's time-consuming to click "done" on each one.

Intended users

Developers.

User experience goal

Make life easier.

Proposal

Add a button or menu action to remove all merged MRs from TODO.