On Wed, Aug 5, 2020 at 10:33 AM <pr-tracker-bot@xxxxxxxxxx> wrote: > > The pull request you sent on Mon, 03 Aug 2020 13:39:59 +0100: > > > https://git.kernel.org/pub/scm/linux/kernel/git/broonie/spi.git tags/spi-v5.9 > > has been merged into torvalds/linux.git: Strange timing for the pr-tracker-bot since I did that merge two days ago, but the reason seems to be (a) I pushed out other changes, waking up pr-tracker-bot (b) pr-tracker-bot has moved to a new machine and picks up pull requests from all the lore lists (c) the pull request went to linux-spi, which two days ago was _not_ tracked by pr-tracker-bot, so now it says "oh, new pull request notification". just in case anybody else reacted to the odd message out of the blue. Linus