Merge proposals

grok in Ubuntu has no merge proposals.