Merge proposals

gnuit in Ubuntu has no merge proposals.