Skip to content

merge: pull from upstream only when downstream has demand - #3754

Merged
mpilquist merged 2 commits into
typelevel:mainfrom
istreeter:merge-demand-driven
Sep 5, 2026
Merged

merge: pull from upstream only when downstream has demand#3754
mpilquist merged 2 commits into
typelevel:mainfrom
istreeter:merge-demand-driven

Commits

Commits on Aug 4, 2026

Commits on Sep 5, 2026