]> Sergey Matveev's repositories - public-inbox.git/commitdiff
projects / public-inbox.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: eb22c48)
lei_mirror: handle forkgroup changes
authorEric Wong <e@80x24.org>
Mon, 28 Nov 2022 05:32:32 +0000 (05:32 +0000)
committerEric Wong <e@80x24.org>
Mon, 28 Nov 2022 23:39:00 +0000 (23:39 +0000)
Forkgroups for projects are not static and may change at
the whim of the remote sysadmin.  Ensure we can migrate
to the new forkgroup.

Old forkgroups do not get pruned, yet, and their entries
stay in alternates.


No differences found
My patches to https://public-inbox.org/public-inbox.git