Merge proposals

black in Ubuntu has no merge proposals.