Seems fair though. Given how adversarial the web is with botspam, you basically need some form of bot mitigation. GitHub does a decent enough job, and has the nice feature of being easy to migrate off, since git itself is designed to be decentralized.