changelog-from-pr: Sort PRs based on their ID

Signed-off-by: Remi Gacogne <remi.gacogne@powerdns.com>

diff --git a/build-scripts/changelog-from-pr.py b/build-scripts/changelog-from-pr.py
index 3730597d1e83db2cd442ca6cfbd621e93fab356a..5c44b703ef767949c6bb75aee1f24dbcf2bbc28b 100755 (executable)
--- a/build-scripts/changelog-from-pr.py
+++ b/build-scripts/changelog-from-pr.py
@@ -29,7 +29,7 @@ if arguments.username:
 # A token with `repo` and `user` access will definitely work.
 access_token = arguments.access_token
 
-for pr in arguments.pullrequest:
+for pr in sorted(arguments.pullrequest):
     if pr[0] == '#':
         pr = pr[1:]
     try: