diff options
author | Eric Wong <e@80x24.org> | 2023-04-18 18:39:14 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2023-04-18 19:35:51 +0000 |
commit | c0d0d5b4131e5b18e0d5ae9877460204a8cd2f3c (patch) | |
tree | 569a13a8ee24e99a1d408a00ff4ba722563d0ce8 /lib/PublicInbox/Import.pm | |
parent | 74bb661ee521d275b636eda4a5caeabb9e387e75 (diff) | |
download | public-inbox-c0d0d5b4131e5b18e0d5ae9877460204a8cd2f3c.tar.gz |
Coderepo changes are probably more common than inbox changes, so it probably makes sense to rescan and look for new coderepos on 404s, especially since we serve mirrored manifest.js.gz as-is. I noticed my git.kernel.org mirror was serving manifest.js.gz pointing to irretrievable repositories. This should stop that. We'll also drop the underscore ('_') and use `coderepo' everywhere to be consistent with our documentation. We may serve new inboxes in a similar way down the line, too; but this change only affects coderepos for now since we can guarantee the inbox manifest.js.gz never contains irretrievable inboxes as it's dynamically generated.
Diffstat (limited to 'lib/PublicInbox/Import.pm')
0 files changed, 0 insertions, 0 deletions