summaryrefslogtreecommitdiffhomepage
path: root/services/repos/scripts/make-repo-list.sh
blob: 73e7be68e531e5b60c879a0f5105c6a730435982 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/usr/bin/env bash

set -euo pipefail

cat < /dev/null > repos.cgitrc
for repo in $(gh repo list --limit 999 --source --visibility public --json name --jq '.[].name'); do
    cat >> repos.cgitrc <<EOS
repo.url=${repo}
repo.path=/src/${repo}.git
repo.name=${repo}
repo.desc=${repo}
repo.owner=nsfisis
repo.homepage=https://github.com/nsfisis/${repo}

EOS
done