mikhail.terekhov@emc.com wrote: >> That was because my cvs-to-git mirroring script was using >> /cvs/src/src/gdb/gdbinit.in,v (a witness that the configuration >> repo and modules are well-configured), yet that file has recently >> been cvs-removed. >> >> I've changed the mirroring config to use gdb-demangle.h,v instead, >> and am running the sync manually now to be sure. > > Jim, > > Is this cvs-to-git mirroring script available somewhere to learn from? There are two scripts. A driver I call mirror-sw (sw=sourceware, to contrast with another variant I've used for savannah-based projects) and another that it invokes to do the bulk of the work, called mirror-cvs-to-git. You may not want to try to learn from these scripts. They're not well documented. But for the record, here they are: