The pull request you sent on Tue, 5 Mar 2019 23:01:23 +0100:> ssh://git@gitolite.kernel.org/pub/scm/linux/kernel/git/sre/linux-hsi.git tags/hsi-for-5.1has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/7427e28688ed48b0a9484c4035f86e836d9787a2Thank you!-- Deet-doot-dot, I am a bot.https://korg.wiki.kernel.org/userdoc/prtracker