tree d92608b60e94c54ed2dfa0c6b50e5703764aaa0d
parent e746a7787a4a16133aee76a53be67b954498211e
author Antonio Barone <syntonyze@gmail.com> 1549638159 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1549834742 +0000

Extend JGitHealthcheck to check for multiple repos

Gerrit health might be dependent on multiple repositories, (for example
All-Projects and All-Users).

This change extends the existing JGit healthcheck logic to check against
a list of repositories configured in the healthcheck.config file.

Defaults to: All-Projects and All-Users

Change-Id: I29900c12a584191491bbcae95c9fb67892745520