The pull request you sent on Sat, 6 Aug 2022 21:29:39 +0200:> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86-urgent-2022-08-06has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/1612c382ffbdf1f673caec76502b1c00e6d35363Thank you!-- Deet-doot-dot, I am a bot.https://korg.docs.kernel.org/prtracker.html