Skip to content

add rename-by-pattern tactic

Ralf Jung requested to merge ralf/rename-by-pat into master

rename_pat would be a shorter name, but OTOH this is more consistent with the existing select-style tactics so maybe that's the better choice.

Merge request reports