scripts: re-add wait for changelog listing (#13002)

This got committed by accident into another PR, and since the change was
not approved to begin with, its inclusion was a mistake, so we revert it
now.
bump-1.11-release-date
Lucas Bajolet 2 years ago committed by GitHub
parent 3591d64bb3
commit 2ea0889441
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -49,6 +49,8 @@ get_prs | while read line; do
if [[ "$line" =~ "bad" ]]; then
exit 1
fi
echo "Press enter to continue with next entry."
vared -ch ok
done
#TODO: just generate it automatically using PR titles and tags

Loading…
Cancel
Save