Merge PR #315

Closed
opened 2026-05-28 03:06:54 +00:00 by guettli · 1 comment
guettli commented 2026-05-28 03:06:54 +00:00 (Migrated from codeberg.org)

Is that pr still needed?

If yes, try to merge it, or reimplement on top of main.

https://codeberg.org/guettli/sharedinbox/pulls/307

Close related issue on success

Is that pr still needed? If yes, try to merge it, or reimplement on top of main. https://codeberg.org/guettli/sharedinbox/pulls/307 Close related issue on success
guettlibot commented 2026-05-28 06:43:02 +00:00 (Migrated from codeberg.org)

Agent (pid 2370999) was killed after running for 61 min (limit: 60 min). Please investigate and resume manually.

Agent (pid 2370999) was killed after running for 61 min (limit: 60 min). Please investigate and resume manually.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: guettli/sharedinbox#315