Date: prev next · Thread: first prev next last
2012 Archives by date, by thread · List index


On Wed, Dec 12, 2012 at 1:06 PM, Thorsten Behrens
<thb@documentfoundation.org> wrote:
Norbert Thiebaud wrote:
I never used it, never quite got the point of it... but clearly some
other people found it useful...

I used it, and so did Kohei - as a means to create cheap local
clones. There were a few glitches though all the time, e.g. Cloph a
few times complained about tinderbox breakages b/c of spurious tree
changes.

I would personally not invest the time to properly fix it these days,
disks are cheapish and we don't have this load of different repos
anymore.

maybe a local bare repo could do the trick:

git clone --bare --mirror <remote li>/core /srv/git/core.git

create local clone with

git clone /srv/git/core.git work_core

that should be done with hard-link as possible on linux at least

and then change the push_url on work_core to point back to the remote
libreoffice one

then all you need is a little warpper script (or that can be added to
./g for instance
so that you fetch /src/git/core.git before you pull/fetch from work_dir

note it should be possible too to deal with the submodule registration
in work_core/.git/config so that hey also read from
srv/git/<module>.git and push to the 'right place'

Norbert

Context


Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.