This is good advice to surface the way we work, but I don’t see why you would push to main for Ship rather than raising a PR that you merge immediately (Show),

This is good advice to surface the way we work, but I don’t see why you would push to main for Ship rather than raising a PR that you merge immediately (Show), if you’re using PRs anyway.