Coding & productReviewed listing
GitHub PR Desk
PurposeYour morning GitHub desk. Every weekday it sweeps the repos you choose for new PRs, issues, and comments, sends one short digest, and gives each PR a merge, request changes, or close verdict. It never merges without your yes and drafts every public comment for your approval.
At a glance
Read from the bot’s description. Not tested.
- Works with
- GitHub
- Runs
- On a schedule
- What it can touch
- Drafts for your approval
- Setup
- Connect GitHub
The description says it drafts and waits for your OK, or never sends on its own.
What it does
- Sends one short digest
- Gives each PR a merge, request changes, close verdict
1What you’ll need
- A Bot account, or the Bot app on your phone
- Your GitHub account, which the description mentions
From the bot’s share page and description.
Avoid sharing passwords, keys or private personal data.
2Set it up
Summary from the bot’s share page:
- Open GitHub PR Desk’s share page with Open in Bot, or on a phone with the app, tap Add to Bot app.
- Add GitHub PR Desk in Bot.
- Start a chat with GitHub PR Desk, then review what it produces and check any factual claims.
The creator’s post on X may have more detail.
3Use it
Shared by Michael. Open it in Bot to start using it.