Hello Paul,
yes, it is a pretty simple job to create in the end to remove the privileges, that belong to the repository you want to remove.
As I wrote in the other thread:
since the repository-name is part of the name of the privileges, it's easy to build a small job that finds all of them (in the source-tab) and deletes them (in the destination-tab).
Regards,
Steffi.
