[PATCH] MAINTAINERS: git://github -> https://github.com for ulli-kroll

[Linus Walleij]

On Thu, Oct 13, 2022 at 11:49 PM Palmer Dabbelt <palmer at rivosinc.com> wrote:

> Github deprecated the git:// links about a year ago, so let's move to
> the https:// URLs instead.
>
> Reported-by: Conor Dooley <conor.dooley at microchip.com>
> Link: https://github.blog/2021-09-01-improving-git-protocol-security-github/
> Signed-off-by: Palmer Dabbelt <palmer at rivosinc.com>
(...)
> -T:     git git://github.com/ulli-kroll/linux.git
> +T:     git https://github.com/ulli-kroll/linux.git

There is no gemini branch on Hans' tree, actually I haven't heard
from him in a long time, Hans are you there?

This tree has some gemini branches that are active:
https://git.kernel.org/pub/scm/linux/kernel/git/linusw/linux-nomadik.git/

Yours,
Linus Walleij

Yours,
Linus Walleij