Git repo web crawler trouble

I don’t worry about web crawlers on this site - there are quite a few that scrape it but they do it in a way that has very little impact on my server, maybe a couple of hundred requests a day max. ...