Integrated: Allow a HostedRepositoryPool to refresh the seed from upstream
rwestberg at openjdk.java.net
Mon Oct 12 13:48:44 UTC 2020
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
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 115 lines in 5 files changed: 46 ins; 42 del; 27 mod
Allow a HostedRepositoryPool to refresh the seed from upstream
More information about the skara-dev