[Savannah-help-public] [sr #107259] copy the cvs texi2html repo to texinfo and make the texi2html repo read only

2010-02-07 Thread Karl Berry
Follow-up Comment #1, sr #107259 (project administration): Great, thanks Patrice! Sylvain (or anyone), if you could do this, it would be greatly appreciated. Somehow I doubt it is as simple as cp -pr /sources/texi2html/texi2html/ /sources/texinfo/texinfo/ and I have even less clue about the rea

[Savannah-help-public] [sr #107259] copy the cvs texi2html repo to texinfo and make the texi2html repo read only

2010-02-07 Thread Patrice Dumas
URL: Summary: copy the cvs texi2html repo to texinfo and make the texi2html repo read only Project: Savannah Administration Submitted by: pertusus Submitted on: Mon 08 Feb 2010 12:19:12 AM GMT

[Savannah-help-public] [sr #107258] Deleting project "trombi"

2010-02-07 Thread Louis
Follow-up Comment #2, sr #107258 (project administration): Hello, I asked this in the case you would have liked to recover some disk space. I followed your advice. This "bug" can be considered closed. Louis ___ Reply to this item a

[Savannah-help-public] Re: Savannah outage?

2010-02-07 Thread Sylvain Beucler
Hi, On Sun, Feb 07, 2010 at 01:58:26PM +0100, Eric Noulard wrote: > Hi there, > > I cannot currently use savannah.nongnu.org > > On the web site (https://savannah.nongnu.org/projects/certi) > I get the following message > Failed to connect to database: Can't connect to MySQL server on '10.1.0.10

[Savannah-help-public] [sr #107258] Deleting project "trombi"

2010-02-07 Thread Sylvain Beucler
Follow-up Comment #1, sr #107258 (project administration): How about mentioning that it's a forsaken project on the project page? Some code might come in handy for somebody else. ___ Reply to this item at:

[Savannah-help-public] Savannah outage?

2010-02-07 Thread Eric Noulard
Hi there, I cannot currently use savannah.nongnu.org On the web site (https://savannah.nongnu.org/projects/certi) I get the following message Failed to connect to database: Can't connect to MySQL server on '10.1.0.101' (4) Please contact as soon as possible server administrators r...@localhost. U