Re: UCSD mirror does not remove files that were removed in upstream FTP

2017-12-23 Thread Scott Kostyshak
On Sun, Dec 24, 2017 at 03:40:53AM +, Pavel Sanda wrote: > Scott Kostyshak wrote: > > Should this be reported to the server maintainer of that mirror? > > I would not worry about that, one of our former .de mirrors did the > same and if one day you incidentally sync empty archive to the offici

Re: UCSD mirror does not remove files that were removed in upstream FTP

2017-12-23 Thread Pavel Sanda
Scott Kostyshak wrote: > Should this be reported to the server maintainer of that mirror? I would not worry about that, one of our former .de mirrors did the same and if one day you incidentally sync empty archive to the official ftp you might be very thankful to have one mirror wihout the delete

UCSD mirror does not remove files that were removed in upstream FTP

2017-12-23 Thread Scott Kostyshak
The other mirrors remove files when we remove a file in the upstream FTP, but UCSD seems to keep files around. If you go to: ftp://ftp.ucsd.edu/LyX/devel/lyx-2.3/lyx-2.3.0rc1/ You can still see the old Windows and Mac installers. Should this be reported to the server maintainer of that mirr