The pull request you sent on Fri, 28 Dec 2018 14:10:03 +0100:> ssh://git@gitolite.kernel.org/pub/scm/linux/kernel/git/sre/linux-hsi.git tags/hsi-for-4.21has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/4d6ad6fba6b7af06143c67964f4095c74c9ce87cThank you!-- Deet-doot-dot, I am a bot.https://korg.wiki.kernel.org/userdoc/prtracker