Skip to content

fix(resolve_base): a main push whose HEAD is behind the tip is a push shape too — main red on 6157d1924 - #3201

Merged
noahgift merged 2 commits into
mainfrom
PMAT-1098-resolve-base-push-behind-tip
Sep 13, 2026
Merged

fix(resolve_base): a main push whose HEAD is behind the tip is a push shape too — main red on 6157d1924#3201
noahgift merged 2 commits into
mainfrom
PMAT-1098-resolve-base-push-behind-tip

merge origin/main — roadmap resolved as the union, not one side whole

75bad36
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar