devpit

Reminders

A card's date going off at its time: a banner, a notification and a line in the bell.

A reminder is a card with a date. When the date comes, devpit tells you — and that is all it does. It never starts a session, a step or anything else: what runs is the board's business, and a clock is not a person deciding.

Setting one

Open a card and give it a Due date. Once there is a date, a time field appears beside it, with Clear. A day alone reminds you that morning at nine.

The card's tile shows the date — today 14:00, Oct 3 · 14:00 — and the reminder goes off at that time.

Asking an agent to

The orchestrator, or any session devpit started, can set one when you ask: "remind me tomorrow at three to review the PR". It lands on a card with that date and time — the card it names, or a new one in the board's first lane — where you see it and can move it like any other. devpit keeps the time and sets it off, not the agent: an agent keeps no timer of its own. It is told to say the day and time back to you, with the zone.

When it goes off

Where What you see
The banner under the top bar, with the card's title, when it was due and its project
The system a notification, only when devpit's window is behind
The bell "“Review the PR” is due"

The banner has no close button. It goes when you deal with it:

  • 15 min, 1 hour or Tomorrow puts it off until then.
  • Done ends it.

Clicking the title opens the card, on its project's board. Several reminders stack into one banner, which opens to show them all.

A focus does not hold a reminder back, and neither does a pause: the time was your own choice. See Notifications.

How it keeps time

One thread waits for the next date nobody has been reminded of, and wakes early only when a date changes. There is no poll. While a reminder is waiting it also looks at least every half hour, and when the window comes back to the front, so a machine coming back from sleep still hears one that came due.

Switching them off

Settings → General → Reminders, under The island and being told. It is on by default. Off, a card keeps its date, and nothing goes off at it.