vinzenz/hyperhive
0
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

forge_notify: flip keepSubscriptions default — agents keep, manager auto-unsubs

Browse source
This commit is contained in:
damocles 2026-05-21 22:32:44 +02:00 • committed by Mara
parent d58a3a3303
commit 03fec39405
2 changed files with 11 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

15
nix/templates/harness-base.nix
View file

@ -161,14 +161,15 @@
options.hyperhive.forge.keepSubscriptions = lib.mkOption {
type = lib.types.bool;
default = false;
default = true;
description = ''
When true, the forge notification poller will NOT auto-unsubscribe
from repo watches after delivering a "subscribed"-reason notification.
Set this for agents (e.g. triage) that intentionally consume the full
repo notification firehose and must retain broad watch subscriptions.
By default agents auto-unsubscribe from repos they no longer actively
work in to avoid accumulating firehose noise.
When true (the default), the forge notification poller will NOT
auto-unsubscribe from repo watches after delivering a
"subscribed"-reason notification. Sub-agents keep their broad
subscriptions so they stay informed about repos they contribute to.
Set to false for agents (e.g. the manager) that use reason-based
filtering and do not need firehose-level repo visibility — they will
auto-unsubscribe after receiving a watched-repo notification.
'';
};