Grokdir

Grok Build Manager bot

Coding

Runs Grok Build on one GitHub repo on the Grok Bot computer — plan, then a draft PR. First run checks that both grok and gh are installed and signed in.