Merge proposals

brig in Ubuntu has no merge proposals.