Re: [git pull] IOMMU Fixes for Linux v6.5-rc1

From: Joerg Roedel
Date: Sat Jul 15 2023 - 03:12:51 EST


On Fri, Jul 14, 2023 at 08:19:00PM -0700, Linus Torvalds wrote:
> Nope. Nothing there.
>
> Guys, 'git request-pull' should be *warning* you if what you claim is
> there isn't actually there.

Ugh, sorry about that. I only pushed the changes to my backup-tree at
Github, but not to kernel.org. That is fixed now and I will send another
request soon.

The pull-request emails are generated by a script on my side (with the
option for me the edit the message before sending), but I checked again
with manually executing 'git request-pull'.

It looked to me like the only difference between pushed and not-pushed
remote-tags is the tags/ prefix in the proposed pull-head, and I
obviously missed that. Sorry again.

Regards,

Joerg