Merge proposals

tree in Ubuntu has no merge proposals.