The pull request you sent on Sun, 22 Sep 2019 18:02:06 +0200:> ssh://git@gitolite.kernel.org/pub/scm/linux/kernel/git/sre/linux-hsi.git tags/hsi-for-5.4has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/57f1c3caf5137d4493fcd1d07c3ae4a5636f4949Thank you!-- Deet-doot-dot, I am a bot.https://korg.wiki.kernel.org/userdoc/prtracker