Merge proposals

badger in Ubuntu has no merge proposals.