aboutsummaryrefslogtreecommitdiff
path: root/https-what-repos.py
blob: f74d2f82fb0a89042b9c599e93370d50331138aa (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#!/usr/bin/env python3

# List Cryptech git repository URLs by extracting URLs from the
# Alpha release engineering repository's .gitmodules file.

import urllib.request
from configparser import ConfigParser, DEFAULTSECT

url = "https://git.cryptech.is/releng/alpha/plain/.gitmodules"
cfg = ConfigParser(interpolation = None)
cfg.read_string(urllib.request.urlopen(url).read().decode())

urls = [
    cfg[section]["url"]
    for section in cfg
    if section != DEFAULTSECT
]

urls.sort()

for url in urls:
    print(url)