Merge proposals

Sirius has no merge proposals.