devtools

Paginate files in the release notes workflow to support large PRs

#9858

Merged