Re: [PATCH 0/3] [GIT PULL] tracing: Minor fixes for 5.1-rc2

From: Linus Torvalds
Date: Tue Mar 26 2019 - 13:49:11 EST


On Tue, Mar 26, 2019 at 5:42 AM Steven Rostedt <rostedt@xxxxxxxxxxx> wrote:
>
> Please pull the latest trace-v5.1-rc2 tree, which can be found at:

Pulled and pushed out, but for some reason the pr-tracker-bot doesn't
seem to have reacted.

Presumably there's something in your git pull message that means it
doesn't trigger.

And I suspect I know what it is: the patch that your subject line
starts with "[PATCH..]" instead of "[GIT PULL..]"

Linus