Hello, my name is Shane Swartz. I work at Ball Aerospace in Boulder, CO. I am curious if there is a method by which I can mirror the DevToolset-3 portion of the www.softwarecollections.org site internally at our company. We have engineers that ask for these tools on Linux systems, and it would be easier on our network and security if we could mirror that portion of your site. I tried using a script that I wrote using wget, since rsync does not appear to be available, to mirror the site, but it seems that your robots.txt file might be stopping that effort.
Any feedback would be greatly appreciated.
This message and any enclosures are intended only for the addressee. Please
notify the sender by email if you are not the intended recipient. If you are
not the intended recipient, you may not use, copy, disclose, or distribute this
message or its contents or enclosures to any other person and any such actions
may be unlawful. Ball reserves the right to monitor and review all messages
and enclosures sent to or from this email address.