[Savannah-hackers] Mail delivery failed: returning message to sender

[Mail Delivery System]

This message was created automatically by mail delivery software (Exim).

A message that you sent could not be delivered to one or more of its
recipients. This is a permanent error. The following address(es) failed:

  address@hidden
    host lookup did not complete: retry timeout exceeded

------ This is a copy of the message, including all the headers. ------

Return-path: <address@hidden>
Received: from root by subversions.gnu.org with local (Exim 3.32 #1 (Debian))
        id 16YOcy-00010B-00; Wed, 06 Feb 2002 04:44:32 -0500
Subject: bayonne: GIF files
To: 
address@hidden,address@hidden,address@hidden,address@hidden,address@hidden,address@hidden,address@hidden
Reply-To: address@hidden
Message-Id: <address@hidden>
From: address@hidden
Date: Wed, 06 Feb 2002 04:44:32 -0500

    Hi,

    Could you please remove the following GIF files from the project
bayonne hosted on the GNU machines ? 

    For an explanation on why there are not GIF files on the GNU
machines read http://www.gnu.org/philosophy/gif.html. This policy was
established years ago by the GNU project and is an integral part of
the requirements for every project registering on savannah.gnu.org
(see http://savannah.gnu.org/register/requirements.php).


    This mail was created by a script on the Savannah machine and
run manually by one of the address@hidden It was sent
to all members of bayonne because we have no automated way to
figure out what is the relevant mailing list and who, among the 
existing developers, is taking care of these issues at present.

    The home page of your project is 
      http://savannah.gnu.org/projects/bayonne/

    You can convert GIF files to PNG using the gif2png program.
      http://www.tuxedo.org/~esr/gif2png/gif2png-2.4.2.tar.gz

    In the following we suggest a small script to convert the images
to the PNG format. Note that you should also make sure the software does
not reference the old GIF images. This is likely to require manual
attention in most cases.

    Here is a sample script to convert the GIF files that are in
your web pages to PNG.

    export CVS_RSH=ssh
    cvs -d address@hidden:/webcvs co software/bayonne/
    cd software/bayonne/

    while read file 
    do
        gif2png -O $file.gif
        cvs delete -f $file.gif
        cvs add $file.png
    done <<'EOF'
images/bayonne
images/bg-blue
images/dot_black
images/front
EOF
    cvs commit -m 'Convert GIF to PNG'


        For additional information please write to address@hidden

        Thanks for your help,

        The GNU volunteers, address@hidden