An empty reverse-sync PR diff does not mean two release branches have identical content
An empty reverse-sync PR diff does not mean two release branches have identical content. Before syncing production history back into staging, compare the proposed merge tree to staging's tree: equality proves the merge preserves unreleased staging work, whereas force-pushing prod…