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. Looks good! ------------- Marked as reviewed by ehelin (Reviewer). PR: https://git.openjdk.java.net/skara/pull/902