gm2-git-splice

[Gaius Mulley]

Hello,

currently the gcc and gm2 repositories are combined each night and is
available on floppsie.comp.glam.ac.uk.  This appears to be working fine
- however it does introduce a delay of <= day before git pushes to
savannah are available from floppsie.

Here is a small utility to splice the savannah gm2 repository into the
combined gcc+gm2 repository, which removes the delay and uses less
network traffic.

Feel free to adjust and improve:

gm2-git-splice
Description: gm2-git-splice

the script should be run anywhere within the gcc+gm2 repository and it
will download a new git repro from savannah and tar copy the files from
the gcc/testsuite/gm2, gcc/m2 and libgm2 directories.  It doesn't change
any other files outside those trees yet.

Anyway hope this is useful,

regards,
Gaius