path: root/https-what-repos.py

#!/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)