Re: [GIT PULL] Rust fixes for 6.13

From: Linus Torvalds
Date: Sat Dec 14 2024 - 11:54:42 EST


On Fri, 13 Dec 2024 at 22:52, Miguel Ojeda <ojeda@xxxxxxxxxx> wrote:
>
> https://github.com/Rust-for-Linux/linux.git tags/rust-fixes-6.13

Hmm. Is it just me, or has github become almost unusably slow lately?

It might be time for you to mosey on over to git.kernel.org, and use
github as a backup rather than as the primary repo?

But I'll see if I can reach out to any github people and see if it's just me.

Linus