diff options
author | Eric Wong (Contractor, The Linux Foundation) <e@80x24.org> | 2019-06-09 04:31:05 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-06-09 04:32:31 +0000 |
commit | 0886c264b24b8bc7626e5a7eb59598b0229f066d (patch) | |
tree | 0091b2a341c4ff824cb564687c2533f8980b5a86 /MANIFEST | |
parent | 279a47f3f64fc7a414247922b870e58a0b334b0f (diff) | |
download | public-inbox-0886c264b24b8bc7626e5a7eb59598b0229f066d.tar.gz |
And use it in manifest.js. To ease maintaining mirrors with grokmirror(1), we can accept a "git/" directory prefix before the epoch, and ".git" suffix after the epoch number. We maintain compatibility with "$INBOX/$EPOCH" cloning, of course, and it's still easier-to-type on the command-line.
Diffstat (limited to 'MANIFEST')
0 files changed, 0 insertions, 0 deletions