On Fri, 31 May 2024 18:45:53 +0100, Herby G <herby.gil...@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