Re: [PATCH v21 0/7] branch: delete-merged

"Harald Nordgren via GitGitGadget" [off-list ref] writes:

Delete branches that have already been merged on upstream.

Changes in v21:

 * Change loop variables to prevent CI timeout.

I see no other changes, which matches expectations at this point.

Is this topic pretty much done by now, or are there any outstanding
issues other than this workaround for the performance issue with
'strvec.cocci' in Coccinelle?

Thanks for the prompt update.