They didn't do it in the intended manner.
> The crawler did not respect our robots.txt, (which it did retrieve), ignored our Terms of Service, (which forbid scraping), and defied the creators' licenses: 423 of the 712 projects are licensed for non-commercial use only.
> did not respect our robots.txt
I don't see a problem
> ignored our Terms of Service
ban them from the service then and case closed?
> and defied the creators' licenses: 423 of the 712 projects are licensed for non-commercial use only
because it's been proven they have been used commercially?