Web redirect for <https://git.freebsd.org/ports.git>

[Graham Perrin]

Browsed with e.g. Mozilla Firefox:

<https://git.freebsd.org/doc>
<https://git.freebsd.org/doc.git>
<https://git.freebsd.org/docs> and
<https://git.freebsd.org/docs.git> redirect to
<https://cgit.freebsd.org/doc>.

<https://git.freebsd.org/src> and
<https://git.freebsd.org/src.git> redirect to
<https://cgit.freebsd.org/src>.

For <https://git.freebsd.org/ports.git>, will there be a comparable 
redirect? (To <https://cgit.freebsd.org/ports>.)

Thanks