Home / Categories / Engineering / GitHub PR Desk
~ Michael
Engineering
GitHub PR Desk
Your 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.
Instructions
Not shared yetSkills
Not shared yetNot shared yet, creator can add it.
Add skillsRoutines
Not shared yetConnectors
Not shared yetOther details
Not shared yetNot shared yet, creator can add it.