diff --git a/scripts/library-repos-install.sh b/scripts/library-repos-install.sh index 7a7fd858d7..759184f063 100755 --- a/scripts/library-repos-install.sh +++ b/scripts/library-repos-install.sh @@ -123,7 +123,8 @@ detect_pretty_repos() # Use github API to list repos for org KiCad, then subset the JSON reply for only # *.pretty repos in the "full_name" variable. - PRETTY_REPOS=`curl https://api.github.com/orgs/KiCad/repos?per_page=2000 2> /dev/null \ + PRETTY_REPOS=`curl -s "https://api.github.com/orgs/KiCad/repos?per_page=99&page=1" \ + "https://api.github.com/orgs/KiCad/repos?per_page=99&page=2" 2> /dev/null \ | sed $SED_EREGEXP 's:.+ "full_name".*"KiCad/(.+\.pretty)",:\1:p;d'` #echo "PRETTY_REPOS:$PRETTY_REPOS"