Files
gerrit/lib/jgit
Saša Živkov 49dcef02c2 Upgrade JGit to 5.1.12.201910011832-r
This JGit version brings significant performance improvement in the case when
Gerrit loads all external-ids from NoteDb. This happens whenever the
external_ids_map cache gets invalidated or expires.

With NoteDb containing about 70K external-ids we measured the following
times for loading all external-ids:
* Using JGit without [1]: 10 seconds
* Using JGit with [1]: 2 seconds

[1] https://git.eclipse.org/r/150254

Change-Id: I70c7f0d207ab9baa283fdda8432a2fc5e633553a
2019-10-09 17:16:34 +02:00
..
2017-03-24 08:36:18 +09:00
2019-10-09 17:16:34 +02:00