With the "Adaptive Chunking" (Issue #9128) and "Penalty Box" mechanisms in place, the DevIndex updater is now stable and robust against timeouts.
Current metrics show approximately 2.15 API points consumed per user.
We can safely increase the hourly processing limit from 200 to 500 users.

This will increase our throughput to ~12,000 users/day while staying safely within the 5,000/hour GitHub API rate limit (estimated consumption: ~1,075 points/hour).

Change:
Update .github/workflows/devindex-updater.yml to set --limit=500.