Commit

e6ca04a

Building issue-comment notifications for /dev/null (#1117). Currently it polls GitHub every 5 minutes; a webhook would be instant but needs extra setup. Would 5 minutes be fine for you, or do you want it instant?

Timothy @timtjoe4deca1f53

sounds good. considering the number of issue to notify about, instant is good and bad.

Enad Abuzaid @Enadabuzaid3d

Agreed. Batching every 5 minutes also avoids a burst of notifications when an issue gets busy.

09:33 · Oct 26, 2026commit e6ca04a