Merge proposals

grip in Ubuntu has no merge proposals.