Merge proposals

sage in Ubuntu has no merge proposals.