Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: fix the maintain-git links in technical/platform-support #1812

Closed
wants to merge 1 commit into from

Conversation

dscho
Copy link
Member

@dscho dscho commented Oct 7, 2024

These links should point to `.html` files, not to `.txt` ones.

Compare also to 4945f04 (api docs: link to html version of
api-trace2, 2022-09-16).

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
@dscho dscho self-assigned this Oct 7, 2024
@dscho
Copy link
Member Author

dscho commented Oct 7, 2024

/submit

Copy link

gitgitgadget bot commented Oct 7, 2024

Submitted as pull.1812.git.1728337764963.gitgitgadget@gmail.com

To fetch this version into FETCH_HEAD:

git fetch https://github.com/gitgitgadget/git/ pr-1812/dscho/fix-maintain-git-links-v1

To fetch this version to local tag pr-1812/dscho/fix-maintain-git-links-v1:

git fetch --no-tags https://github.com/gitgitgadget/git/ tag pr-1812/dscho/fix-maintain-git-links-v1

@Appai207

This comment was marked as off-topic.

dscho added a commit to dscho/lychee that referenced this pull request Oct 8, 2024
As of almost two weeks ago, Git's home page at https://git-scm.com/ was
switched to a static website that uses lychee to verify links (already
catching a broken one: gitgitgadget/git#1812).

For substantially longer, the Git Credential Manager uses lychee to
validate the links in its documentation.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
mre pushed a commit to lycheeverse/lychee that referenced this pull request Oct 8, 2024
As of almost two weeks ago, Git's home page at https://git-scm.com/ was
switched to a static website that uses lychee to verify links (already
catching a broken one: gitgitgadget/git#1812).

For substantially longer, the Git Credential Manager uses lychee to
validate the links in its documentation.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Copy link

gitgitgadget bot commented Oct 8, 2024

This patch series was integrated into seen via git@ee78058.

@gitgitgadget gitgitgadget bot added the seen label Oct 8, 2024
Copy link

gitgitgadget bot commented Oct 9, 2024

This branch is now known as js/doc-platform-support-link-fix.

Copy link

gitgitgadget bot commented Oct 9, 2024

This patch series was integrated into seen via git@9db458f.

Copy link

gitgitgadget bot commented Oct 9, 2024

This patch series was integrated into seen via git@3306f48.

Copy link

gitgitgadget bot commented Oct 10, 2024

This patch series was integrated into seen via git@d5fcb1b.

Copy link

gitgitgadget bot commented Oct 10, 2024

This patch series was integrated into next via git@5531615.

@gitgitgadget gitgitgadget bot added the next label Oct 10, 2024
Copy link

gitgitgadget bot commented Oct 10, 2024

There was a status update in the "Cooking" section about the branch js/doc-platform-support-link-fix on the Git mailing list:

Docfix.

Will merge to 'master'.
source: <pull.1812.git.1728337764963.gitgitgadget@gmail.com>

Copy link

gitgitgadget bot commented Oct 11, 2024

This patch series was integrated into seen via git@7710923.

Copy link

gitgitgadget bot commented Oct 12, 2024

There was a status update in the "Cooking" section about the branch js/doc-platform-support-link-fix on the Git mailing list:

Docfix.

Will merge to 'master'.
source: <pull.1812.git.1728337764963.gitgitgadget@gmail.com>

Copy link

gitgitgadget bot commented Oct 14, 2024

This patch series was integrated into seen via git@292e668.

Copy link

gitgitgadget bot commented Oct 14, 2024

This patch series was integrated into seen via git@4210ae1.

Copy link

gitgitgadget bot commented Oct 16, 2024

This patch series was integrated into seen via git@8a5545b.

Copy link

gitgitgadget bot commented Oct 16, 2024

This patch series was integrated into master via git@8a5545b.

Copy link

gitgitgadget bot commented Oct 16, 2024

This patch series was integrated into next via git@8a5545b.

@gitgitgadget gitgitgadget bot added the master label Oct 16, 2024
@gitgitgadget gitgitgadget bot closed this Oct 16, 2024
Copy link

gitgitgadget bot commented Oct 16, 2024

Closed via 8a5545b.

@dscho dscho deleted the fix-maintain-git-links branch October 16, 2024 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants