Merge proposals

debci in Ubuntu has no merge proposals.