Re: [GIT PULL] Rust fixes for 6.13

[Linus Torvalds]

On Sat, 14 Dec 2024 at 08:54, Linus Torvalds
<torvalds@xxxxxxxxxxxxxxxxxxxx> wrote:
>
> Hmm. Is it just me, or has github become almost unusably slow lately?

Just to clarify: it did end up working in the end. But even an empty
pull - when I retried the pull after merging - took two and a half
minutes.

                 Linus