diff options
Diffstat (limited to 'services/repos/scripts/make-repo-list.sh')
| -rwxr-xr-x | services/repos/scripts/make-repo-list.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/services/repos/scripts/make-repo-list.sh b/services/repos/scripts/make-repo-list.sh index 73e7be6..3312a81 100755 --- a/services/repos/scripts/make-repo-list.sh +++ b/services/repos/scripts/make-repo-list.sh @@ -3,7 +3,7 @@ set -euo pipefail cat < /dev/null > repos.cgitrc -for repo in $(gh repo list --limit 999 --source --visibility public --json name --jq '.[].name'); do +for repo in $(gh repo list --limit 999 --source --visibility public --json name --jq '.[].name' | sort -f); do cat >> repos.cgitrc <<EOS repo.url=${repo} repo.path=/src/${repo}.git |