docs(miner): regenerate env-reference.md for GITTENSORY_MINER_KILL_SWITCH - #5507

Closed

JSONbored wants to merge 1 commit into

mainfrom

fix/github-datasource-secret-leak

Commits on Jul 12, 2026

fix(observability): keep GitHub datasource credentials out of curl argv and child env
JSONbored
committed
b21a1da