NOTE: Should discuss how branches are synchronized using
the MERGE-* tags.
NOTE: Emphasize that before merging a branch with
newer base code, all recent OpenSSI/CI changes to that branch should
first be synced to all other branches. Otherwise, the recent OpenSSI/CI
changes are lost in the "noise" of the base changes.