<div dir="ltr"><div>Hello Freedesktop,</div><div><br></div><div>I was wondering if you would be OK with occasional automated traffic against your git servers (e.g. <a href="https://anongit.freedesktop.org/">https://anongit.freedesktop.org/</a>, or <a href="https://gitlab.freedesktop.org/">https://gitlab.freedesktop.org/</a>). Specifically my company wants to use Google's Copybara (<a href="https://github.com/google/copybara">https://github.com/google/copybara</a>) to check out a few  freedesktop git repositories to avoid needing to remember to do manual git checkouts.</div><div><br></div><div>I saw that your gitlab instance blocks robots via robots.txt, while anongit does not have a robots.txt file; so I thought I'd ask before hitting your anongit instance in case you didn't want robots using it at all, had any concerns, etc.<br><br>My understanding is that the checkout would be incremental and only lead to reasonable load after the initial import.</div><div><br></div><div>Thank you for your consideration.</div><div><br></div><div>--</div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Best Regards,<div><span style="font-size:12.8px">-Zoe</span><br></div></div></div></div>