
poteto@poteto
ah, y para que quede claro, este gráfico de PR es de todos los PR a grok bot, no solo los míos
oh also to be clear this PR chart is all PRs to grok bot, not just mine
oh also to be clear this PR chart is all PRs to grok bot, not just mine