Merge proposals

spigot in Ubuntu has no merge proposals.