Merge proposals

gravit in Ubuntu has no merge proposals.