Merge proposals

Everest has no merge proposals.