Merge proposals

pipes.sh in Ubuntu has no merge proposals.