bin/get-pick-list.sh: remove ancient way of nominating patches