Merge proposals

firehol in Ubuntu has no merge proposals.