There should be a requirement to check if a port exists before committing something right into the master

[Kirill A. Korinsky]

On Fri, 31 May 2024 18:45:53 +0100,
Herby G <herby.gillot at gmail.com> wrote:
> 
> Is it a guarantee that the PortIndex is available to `port` everytime `port
> lint` is run? If so, would it be possible for us to use the port index to
> verify that one and only one port exists for the current port name?
>

Another option is restrict direct push to master without PR where CI should
catch such issue.

-- 
wbr, Kirill