Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Dec 13, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

dscho and others added 2 commits October 27, 2025 13:48
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>
@pull pull bot locked and limited conversation to collaborators Dec 13, 2025
@pull pull bot added the ⤵️ pull label Dec 13, 2025
@pull pull bot merged commit 55b541e into NOUIY:main Dec 13, 2025
1 of 2 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants