]> Sergey Matveev's repositories - public-inbox.git/commitdiff
lei_mirror: fetch most-recently-updated repos, first
authorEric Wong <e@80x24.org>
Sun, 12 Feb 2023 23:18:28 +0000 (23:18 +0000)
committerEric Wong <e@80x24.org>
Mon, 13 Feb 2023 00:14:29 +0000 (00:14 +0000)
Within the same forkgroup, we can assume the most recently updated
repo has the most data, so fetch those, first.  We'll save new clones
for last since we can preserve {reference} ordering for them.


No differences found