If mentioning is correct I suggest that we use mention-bot [0] to automatically mention developers in PRs.
[0] https://github.com/facebook/mention-bot -- Best regards, Zero King _______________________________________________ macports-dev mailing list macports-dev@lists.macosforge.org https://lists.macosforge.org/mailman/listinfo/macports-dev