Merge proposals

gitit in Ubuntu has no merge proposals.