On Wed, Jan 09, 2019 at 10:40:20AM -0800, Linus Torvalds wrote: > Side note: I do wish people would use the proper _public_ access. I'm wondering if this largely happens due to people's insteadOf rules. We've established that git-request-pull will quietly substitute URLs in the emails it generates if a matching insteadOf rule is found. I started a discussion related to this on the git list, but it veered a bit sideways: https://public-inbox.org/git/20181115182826.GB25806@pure.paranoia.local/T/#u > Maybe the pr-tracker-bot might even send the person who did a pull > request a (private) notice that there is something odd when that isn't > the case? I'm not sure that would be very effective. Folks tend to ignore bots, and with this one we're specifically recommending "add it to your ignore list if you don't want notifications." I think an email from you for such (rare) cases would be a better way to indicate that something in the pull request needs to be changed. -K
