What's the procedure to rename a port?

[Kurt Jaeger]

Hi!

> I maintain a port where the original author is now gone.
> I intend to take over maintenance, and make some additions/
> improvements.
> it's devel/tkcvs -- a GUI for cvs/svn management. But it's
> *really* an RCS management utility, and as I am also adding
> GIT support. I feel it's name, and as a result, it's potential
> popularity. Would better expressed as: tkrcs.
> How to proceed, where the ports infrastructure is concerned?

svn mv tkcvs tkrcs

plus a patch for ports/MOVED, like this:

devel/tkcvs|devel/tkrcs|2020-12-12|renamed for broader scope

-- 
pi at opsec.eu            +49 171 3101372                    Now what ?