All demos

Push main and have the pull request adapted

Shared by Daniel Sadilek on November 2, 2026

When a contributor's pull request collides with work that landed on the local main but was not pushed yet, its review card now offers to push main from Obeya. After a short undo window main goes to the remote, and the review card's agent brings the pull request up to date with it, then hands it over again for an ordinary merge. Merging anyway stays possible; the card names whose agent then resolves the conflict on main.