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

Merge branch 'main' into merge-demand-driven

7c25d10
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Generate Site (ubuntu-22.04, temurin@17)
succeeded Sep 5, 2026 in 2m 24s