I've heard that too. Your posting inspired me to check. I see daily accesses from claudebot and gtpbot to /robots.txt on two sites. Also from something called amazonbot, which may be another AI bot?
I'm curious — if that's your attitude, why not all bots? You can say "User-Agent: foo\nDisallow:\n\nUser-Agent: *\nDisallow: /" to allow only named bots and reject them by default.
Sometimes back I wanted to contribute to Android.
It's a source-open product, unfortunately.
And development goes on, silently, eerily without as much public docs as I would like!
This piece is just brilliant: "We dedicated 10% of our budget to giving small amounts (in the $4 to $10 per month range) to as many dependencies on GitHub Sponsors as we could. We were able to achieve 95% or greater coverage of our fundable dependencies in our three primary GitHub organizations (getsentry, codecov, and syntaxfm). We were not able to reach 100% because some of our dependencies have minimum sponsorships higher than $10, and a few of our dependencies are maintained by employees. Sentry is the first company to approach 100% coverage of all of our fundable dependencies through GitHub Sponsors. Nobody else even comes close (I asked)."