diff options
author | Eric Wong <e@80x24.org> | 2022-11-28 05:31:38 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2022-11-28 23:38:55 +0000 |
commit | e6208a4d8c67e9eccd72d17b85aed7d5a4ad8e31 (patch) | |
tree | 9ab33a0d0177dbf87dbfb8d535bb54c61f1c0156 | |
parent | 836faf5093dfec84aa3d1a0abd5c546e02b46541 (diff) | |
download | public-inbox-e6208a4d8c67e9eccd72d17b85aed7d5a4ad8e31.tar.gz |
We want to be able to clone non-inbox git repos, too.
-rw-r--r-- | lib/PublicInbox/LeiMirror.pm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/PublicInbox/LeiMirror.pm b/lib/PublicInbox/LeiMirror.pm index 4b6da260..b0e6fa53 100644 --- a/lib/PublicInbox/LeiMirror.pm +++ b/lib/PublicInbox/LeiMirror.pm @@ -386,7 +386,8 @@ sub v1_done { # called via OnDestroy die "rename($f, $o/info/alternates): $!"; $f->unlink_on_destroy(0); } - return if $self->{-is_epoch}; + return if ($self->{-is_epoch} || + $self->{lei}->{opt}->{'inbox-config'} ne 'always'); write_makefile($dst, 1); index_cloned_inbox($self, 1); } |