poteto@potetooh also to be clear this PR chart is all PRs to grok bot, not just mineNovember 4, 2026♥ 86PostView on X ↗𝕏 Share🔗