Integrated: Retry updating seed if needed, avoid unnecessary fetching
Robin Westberg
rwestberg at openjdk.java.net
Wed Oct 21 14:58:32 UTC 2020
On Wed, 21 Oct 2020 12:38:57 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> Retry fetching a few times if a seed is not allowed to be stale, but otherwise ignore and continue.
This pull request has now been integrated.
Changeset: f75ed0a5
Author: Robin Westberg <rwestberg at openjdk.org>
URL: https://git.openjdk.java.net/skara/commit/f75ed0a5
Stats: 41 lines in 1 file changed: 24 ins; 3 del; 14 mod
Retry updating seed if needed, avoid unnecessary fetching
Reviewed-by: ehelin
-------------
PR: https://git.openjdk.java.net/skara/pull/902
More information about the skara-dev
mailing list