Merge proposals

Gemini has no merge proposals.