Giters

git / git.github.io

Git Developer Pages (This is NOT the place to discuss Git issues. See: https://git-scm.com/community)

Home Page:https://git.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Replacing Public Inbox with https://lore.kernel.org/git

chriscool opened this issue · comments

commented

We have some docs like https://github.com/git/git.github.io/blob/master/General-Microproject-Information.md which mention Public Inbox or use links to it. These days it's better to use https://lore.kernel.org/git instead.

commented

@chriscool Are you saying we should replace https://public-inbox.org/ with https://lore.kernel.org/ ? I found approx. total of 114 occurence - https://github.com/git/git.github.io/search?p=12&q=inbox

commented

@shreeup Sorry for the late answer. It looks like I somehow didn't notice your comment earlier.

Yeah, I think we should replace https://public-inbox.org/ with https://lore.kernel.org/ after making sure that the full URL still works in the same way.

I think for links to a message in the Git mailing list archive URLs where we just replace https://public-inbox.org/ with https://lore.kernel.org/ should work the same as both sites use the Message-ID in the URL to link to a message, but I haven't checked.