Merge proposals

gnome-robots in Ubuntu has no merge proposals.