The pull request you sent on Sun, 22 Nov 2020 14:47:25 -0000:> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git sched-urgent-2020-11-22has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/f4b936f5d6fd0625a78a7b4b92e98739a2bdb6f7Thank you!-- Deet-doot-dot, I am a bot.https://korg.docs.kernel.org/prtracker.html