Delete / rename plugin on WP.org’s repository

Hello,

I’ve just been contacted by a lawyer who asked me to change the name of one of my plugins because it comes too close to the brand that had hired him. They said they would like to avoid confusion and not make it look like my plugin is an official one of theirs.

Now, my plugin has been around for many years. That means that lots of users have downloaded, installed and integrated it into their websites. If I now rename everything, it would be a huge mess for them because they also requested to rename even the PHP function names that carry the plugin slug in the front.

Furthermore, they asked me to remove the repository to my plugin. This brings me to two questions:

• Can a repository be removed and if yes, who do I have to contact since I don’t find an option to do this by myself.
• Can a repository be redirected to another one?

I worked hard for my plugin and, all these years, nobody came forward to complain. But now they did and demanded that I complete re-brand my plugin which costs a lot of time and effort.

Can anybody point me in the right direction here?

The page I need help with: [log in to see the link]