Created by: efritz
git checkout code-intel/cesar/consolidating-by-domain
git merge-base main head
git reset _
Push commits to the source branch or add previously merged commits to review them.
