Hi Arnd, On Thu, Apr 19, 2018 at 1:47 PM, Arnd Bergmann <arnd@xxxxxxxx> wrote: > On Thu, Apr 19, 2018 at 1:45 PM, Arnd Bergmann <arnd@xxxxxxxx> wrote: >> The following changes since commit 60cc43fc888428bb2f18f08997432d426a243338: >> >> Linux 4.17-rc1 (2018-04-15 18:24:20 -0700) >> >> are available in the git repository at: >> >> git+ssh://gitolite@xxxxxxxxxxxxx/pub/scm/linux/kernel/git/arnd/playground.git >> tags/y2038-timekeeping > > That one is still messed up. I changed my .gitconfig to have a > different "insteadof" > section, but for some reason that failed. Obviously the URL I meant is > > git://git.kernel.org/pub/scm/linux/kernel/git/arnd/playground.git > tags/y2038-timekeeping > > I've never figured out how to configure this correctly and try to > manually edit the > pull request, but forget to do that half of the time. I use: [remote "foo"] url = git://git.kernel.org/pub/scm/linux/kernel/git/user/foo.git pushurl = gitolite.kernel.org:/pub/scm/linux/kernel/git/user/foo.git Gr{oetje,eeting}s, Geert -- Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@xxxxxxxxxxxxxx In personal conversations with technical people, I call myself a hacker. But when I'm talking to journalists I just say "programmer" or something like that. -- Linus Torvalds