This repository has been archived by the owner on Feb 28, 2024. It is now read-only.

Timed remiders #99

Open

ggetz opened this issue Jun 15, 2018 · 0 comments

Labels

Contributor

ggetz commented Jun 15, 2018

Sometimes (especially in the website repos), a PR is ready, but we'd like to merge it on a specific date.

Perhaps the concierge can watch for a comment like "Concierge: Remind in 5 days" or "Concierge: Remind on Monday", and bump the PR accordingly.

ggetz added the enhancement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.