Requests from Microsoft IP Addresses

[Torbjörn Granlund]

I added "Usage conditions" to <https://gmplib.org/devel/repo-usage>.

  "These resources are open to the public. Yet, we expect the usage of
   these resources to be used responsibly. Repeated clone command should be
   avoided. Scripting of clone commands is strongly discouraged.

   As a guideline, more than one clone command per day is considered
   excessive. More than 10 is considered abuse, and will result in having
   your IP address or entire network blocked."


One would think that anybody who is beyond the hello_world.c skillz
level would understand how to clone and then (infrequently) pull in any
changes.  And would also understand that 1400 clones in a few hours is
outrageous.

Alas, apparently not.

Case closed.  The firewall works awesomely.


-- 
Torbjörn
Please encrypt, key id 0xC8601622