3 ms·So you'd have the same complaint about a Github pull request?by immibis 2y agoSo you'd have the same complaint about a Github pull request?nimish 2y agoNo, a GitHub PR has benefits that far exceed a mailing list post, to me