Re: [PATCH 7/9] x86/nmi: Improve NMI header documentation

[Sohil Mehta]

On 4/1/2025 1:08 AM, Ingo Molnar wrote:

>> Upon closer inspection, I realized that the commit title for the new
>> patch is incorrect.
>> s/x86_hyper_runtime/x86_platform_ops
> 
> Yeah, the git patch context threw me off: I fixed the title, have 
> included the other review feedback, and added the Reviewed-by tags of 
> Kai Huang as well.
> 

Great, that's awesome! We now have ACKs from PeterZ and Nikolay as well.
Thank you for the reviews.

I haven't seen the tip-bot emails yet. Just out of curiosity, when do
the tip-bot emails get sent? Does it happen automatically when you push
the patches to upstream tip:x86/nmi or do you trigger them manually at a
later point?

Thanks,
Sohil