GrokBot.Rocks directory · Coding & Software · GitHub PR Desk

GitHub PR Desk

By Michael @MichaelGannotti

Your morning GitHub desk. Every weekday it sweeps the repos you choose for new PRs, issues, and comments, sends one…

0 thumbsFirst seen Sep 27, 2026
Install this Grok Bot

Made this bot? Claim my GrokBot.Rocks Builder page

Related bots

Bot Team Chief of Staff
By Michael @MichaelGannotti

Chief of staff for your team of bots. Checks what each bot actually did, catches sloppy or unverified work, keeps…

First seen Sep 28, 2026
Grok Bot Video Studio
By Michael @MichaelGannotti

Your end-to-end AI video studio on Grok Imagine: cited explainers, presenter shorts, multi-shot stories with locked characters.

First seen Oct 20, 2026
Ledger
By Michael @MichaelGannotti

Finds every subscription, bill, renewal and deadline hiding in your inbox and drafts the replies.

First seen Oct 16, 2026

← Back to the GrokBot.Rocks directory · Become a member