How does one go about contributing a small change?

[rwv37]

There's a standard file (/usr/ports/Tools/scripts/redundant-opt-files.sh) that I found a small problem with. I posted a bug report about it, but it's been quiet, and meanwhile the bug has continued to be a minor annoyance to me. I can definitely fix it, but I don't know what the process is for getting the fix into the real code. For example, I imagine it's in some git repository somewhere, which I would fork and then submit a pull request to? If so, what repository would this be? And is there some out-of-band stuff that should be done, e.g. send an email to somebody or some list that the fix is there and is waiting to be reviewed/incorporated/rejected/whatever?

Thanks.

 

[SirDice]

I posted a bug report about it, but it's been quiet

Send a message to the ports@ mailing list.

but I don't know what the process is for getting the fix into the real code.

Attach the patch to the PR you created.

For example, I imagine it's in some git repository somewhere

git.freebsd.org/ports.git

send an email to somebody or some list that the fix is there and is waiting to be reviewed/incorporated/rejected/whatever?

The above mentioned ports@ mailing list is the relevant mailing list regarding anything in the ports tree.