New user/group in /usr/ports/UIDs and /usr/ports/GIDs

[Matthias Fechner]

Dear all,

Yuri us are currently working on a new port for gogs:
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=205283

For this a new user and group is required.
I already checked the file and I would like to add the following files:
gogs:*:209:209::0:0:gogs user:/var/db/gogs/home:/bin/sh

and
gogs:*:209:

Could you please advise me, what kind of PR I should create and what
kind of approval is required?

Thanks a lot.

Gruß
Matthias

-- 

"Programming today is a race between software engineers striving to
build bigger and better idiot-proof programs, and the universe trying to
produce bigger and better idiots. So far, the universe is winning." --
Rich Cook