[Savannah-hackers] Re: gnats: GIF files

[Michael Richardson]

>>>>> "savannah-hackers" == savannah-hackers  <address@hidden> writes:
    savannah-hackers>     Could you please remove the following GIF files from 
the project
    savannah-hackers> gnats hosted on the GNU machines ? 

  I'm not in charge of those files.
  They appear to be files which were detached from emails sent. My bet is
that they are in fact spam.

    savannah-hackers> old-mail-archives/gnats-devel/2001-q1/gif00000

  That files are no longer there, so I guess someone else took care of them.
  I'm a little lost as to why the mail archives are checked into the same CVS 
repository as the code now... oh, I see, that's the webcvs :-)

Entire message attached:

>>>>> "savannah-hackers" == savannah-hackers  <address@hidden> writes:

    savannah-hackers>     Hi,

    savannah-hackers>     Could you please remove the following GIF files from 
the project
    savannah-hackers> gnats hosted on the GNU machines ? 

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

    savannah-hackers>     The home page of your project is 
    savannah-hackers>       http://savannah.gnu.org/projects/gnats/

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

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

    savannah-hackers>     export CVS_RSH=ssh
    savannah-hackers>     cvs -d address@hidden:/webcvs co software/gnats/
    savannah-hackers>     cd software/gnats/

    savannah-hackers>     while read file 
    savannah-hackers>     do
    savannah-hackers>   gif2png -O $file.gif
    savannah-hackers>   cvs delete -f $file.gif
    savannah-hackers>   cvs add $file.png
    savannah-hackers>     done <<'EOF'
    savannah-hackers> old-mail-archives/gnats-devel/2001-q1/gif00000
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00000
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00001
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00002
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00003
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00004
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00005
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00006
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00007
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00008
    savannah-hackers> old-mail-archives/gnats-devel/2001-q2/gif00009
    savannah-hackers> EOF
    savannah-hackers>     cvs commit -m 'Convert GIF to PNG'


    savannah-hackers>   Thanks for your help,

    savannah-hackers>   The GNU volunteers, address@hidden