Skip to content

Fix broken JGit links#2059

Merged
jnavila merged 1 commit into
progit:mainfrom
dscho:fix-jgit-links
Dec 12, 2025
Merged

Fix broken JGit links#2059
jnavila merged 1 commit into
progit:mainfrom
dscho:fix-jgit-links

Conversation

@dscho

@dscho dscho commented Oct 27, 2025

Copy link
Copy Markdown
Contributor

Changes

  • The current JGit links are broken. Let's update them to non-broken ones.

Context

This fixes git/git-scm.com#2044.

The previous JGit links lead to 404 page not found.

This was [reported over in the git-scm.com repository](git/git-scm.com#2044), and to my utter disappointment the reporter not only did a shoddy job at reporting it there, not only a shoddy job of saying "I cannot find the correct location" instead of typing in "jgit" in the search page that is _linked directly from the 404 page_. And of course the reporter deemed it totally beneath himself to contribute the fix.

Sometimes I am not happy in the open source world. Most people there are nice. But not all of them.

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

dscho commented Nov 4, 2025

Copy link
Copy Markdown
Contributor Author

@ben it seems that you're the person to merge PRs in this repository, so: gentle ping?

@dscho

dscho commented Nov 11, 2025

Copy link
Copy Markdown
Contributor Author

@ben another gentle ping?

@dscho

dscho commented Nov 29, 2025

Copy link
Copy Markdown
Contributor Author

@ben yet another gentle ping?

@dscho

dscho commented Dec 12, 2025

Copy link
Copy Markdown
Contributor Author

@ben and yet another gentle ping?

@jnavila

jnavila commented Dec 12, 2025

Copy link
Copy Markdown
Member

LGTM.

@jnavila jnavila merged commit 55b541e into progit:main Dec 12, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

JGit URL is not correct

2 participants