David Pursehouse 8a4eb8a07e Upgrade JGit to 5.3.6.201910020505-r
This release includes a fix [1] that gives a 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 the following times were
measured [2] for loading all external-ids:

* Using JGit without [1]: 10 seconds
* Using JGit with [1]: 2 seconds

[1] https://git.eclipse.org/r/150254
[2] https://gerrit-review.googlesource.com/c/gerrit/+/240194

Change-Id: I32f408f5caead1c9e79d5ef61c2d2888deda05e0
2019-10-11 08:42:26 +09:00
..
2019-10-09 15:01:07 +00:00
2019-10-11 08:42:26 +09:00
2019-04-10 08:15:10 +09:00
2019-09-18 17:05:52 +09:00
2019-03-12 14:33:21 +09:00
2013-05-09 13:40:36 +00:00
2013-05-09 13:40:36 +00:00
2018-03-26 14:14:57 -04:00
2019-01-23 11:21:14 +00:00
2013-05-09 13:40:36 +00:00
2013-05-09 13:40:36 +00:00
2016-07-25 13:47:30 -07:00
2013-05-09 13:40:36 +00:00
2013-05-09 13:40:36 +00:00
2016-11-16 01:24:59 +00:00
2019-09-18 17:05:52 +09:00
2013-05-09 13:40:36 +00:00
2013-05-09 13:40:36 +00:00
2013-05-09 13:40:36 +00:00
2019-02-08 11:18:10 +00:00
2013-05-09 13:40:36 +00:00
2014-03-03 23:34:46 +00:00