how to rename a port

From: Anthony Brown <>
Date: Fri, 09 Jul 2021 07:41:14 UTC
   I am the maintainer for
and the upstream project has had to change its name to unpoller so I want
to change the port name to reflect this.

   How should I manage the user and group previously created in
/usr/ports/UID and /usr/ports/GID for this? Should I rename the previously
added user/group, or should I add a new user/group and mark the previous
one as available again?

   Also, apart from adding an entry to /usr/ports/MOVED (and updating port
location in /usr/ports and port files) is there anything else I need to do
to mark the port as moved?