4 ms·No, a GitHub PR has benefits that far exceed a mailing list post, to meby nimish 2y agoNo, a GitHub PR has benefits that far exceed a mailing list post, to me