On Mon, Feb 11, 2019 at 10:34:09AM -0800, Linus Torvalds wrote:
On Sun, Feb 10, 2019 at 7:19 PM Eduardo Valentin <edubezval@xxxxxxxxx> wrote:On Sun, Feb 10, 2019 at 04:25:16AM +0000, pr-tracker-bot@xxxxxxxxxx wrote: > The pull request you sent on Sat, 9 Feb 2019 20:17:23 -0800: > > > git://git.kernel.org/pub/scm/linux/kernel/git/evalenti/linux-soc-thermal fixes > > has been merged into torvalds/linux.git: > https://git.kernel.org/torvalds/c/7ad915f5ebf5b9e7ca98a7048d8f84a631fe388b I think the bot is off here because the above commit is about a merge from the linux-omap tree from Tony.Indeed. .. and the pr-tracker-bot thing actually made me ignore the pull request, thinking I had left it in my inbox despite having pulled it. So it would be really good to know why pr-tracker-bot ended up replying to the wrong email, because it can cause real problems.
Simply put, it's because "it's a pull request sent to Linus." We currently don't disambiguate between Linus showing up in "To" or in "Cc" -- is that an important differentiation that should be enforced?
-K
Attachment:
signature.asc
Description: PGP signature
