Integrated: Allow a HostedRepositoryPool to refresh the seed from upstream

[Robin Westberg]

On Mon, 12 Oct 2020 11:59:37 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Add support for periodically refreshing the seed repository used with the HostedRepositoryPool remote repository cache.
> Also allow the refresh to fail (and instead just use the latest cache) which can be used for operations that can
> tolerate a delayed update (for example, determining the project name from the jcheck configuration file which rarely
> changes).

This pull request has now been integrated.

Changeset: 6a697404
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/6a697404
Stats:     115 lines in 5 files changed: 46 ins; 42 del; 27 mod

Allow a HostedRepositoryPool to refresh the seed from upstream

Reviewed-by: ehelin

-------------

PR: https://git.openjdk.java.net/skara/pull/874