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.