From mboxrd@z Thu Jan 1 00:00:00 1970 From: Konstantin Ryabitsev Subject: Re: [GIT PULL] csky fixup for linux-5.0-rc1 Date: Wed, 9 Jan 2019 15:05:21 -0500 Message-ID: <20190109200521.GE30131@pure.paranoia.local> References: <1547045397-24388-1-git-send-email-guoren@kernel.org> <20190109180501.12290.85607.pr-tracker-bot@pdx-korg-gitolite-1.ci.codeaurora.org> <20190109182955.GC30131@pure.paranoia.local> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Return-path: Content-Disposition: inline In-Reply-To: Sender: linux-kernel-owner@vger.kernel.org To: Linus Torvalds Cc: pr-tracker-bot@kernel.org, Guo Ren , Arnd Bergmann , Linux List Kernel Mailing , linux-arch List-Id: linux-arch.vger.kernel.org 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 From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-io1-f67.google.com ([209.85.166.67]:45041 "EHLO mail-io1-f67.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728612AbfAIUF0 (ORCPT ); Wed, 9 Jan 2019 15:05:26 -0500 Received: by mail-io1-f67.google.com with SMTP id r200so7020910iod.11 for ; Wed, 09 Jan 2019 12:05:26 -0800 (PST) Date: Wed, 9 Jan 2019 15:05:21 -0500 From: Konstantin Ryabitsev Subject: Re: [GIT PULL] csky fixup for linux-5.0-rc1 Message-ID: <20190109200521.GE30131@pure.paranoia.local> References: <1547045397-24388-1-git-send-email-guoren@kernel.org> <20190109180501.12290.85607.pr-tracker-bot@pdx-korg-gitolite-1.ci.codeaurora.org> <20190109182955.GC30131@pure.paranoia.local> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: Sender: linux-arch-owner@vger.kernel.org List-ID: To: Linus Torvalds Cc: pr-tracker-bot@kernel.org, Guo Ren , Arnd Bergmann , Linux List Kernel Mailing , linux-arch Message-ID: <20190109200521._g-ESr5OuvpCiNcVUIc8tI4drOjCotfIn4sdommXWjs@z> 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