You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thomas Wolf edited this page Jan 10, 2024
·
2 revisions
JGit
New Features
JGit 5.9.0 supports git repositories using git index version
4.
In version 4 entry path names are prefix-compressed relative to the
path name for the previous entry which reduces the size of the git
index and improves performance.
Other Changes
The complete list of new features and bug fixes is available in the
release notes.
Contributors
The following 12 developers worked on this release:
David Ostrovsky, David Pursehouse, Demetr Starshov, Jonathan Nieder,
Marc Strapetz, Marco Miller, Masaya Suzuki, Matthias Sohn, Minh Thai,
Terry Parker, Thomas Wolf, Yunjie Li