Re: [arch-mirrors] adding a robots.txt

On Tue 17.07.18 - 01:38, Jens Gutermuth via arch-mirrors wrote:

I know modifying mirror contents is a very touchy subject and rightfully so. I therefore wanted to ask if there is some kind of policy and if there is, if this would be allowed or a possible exception.

Just returning a robots.txt from nginx sounds fine. I don't see a reason why we should ever have that file in our repo and I don't expect any problems if you add it. Thanks for asking though! Florian