From ef27539ad71977b06683bbc304760f366ed4199e Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Sat, 18 Jun 2016 19:02:17 -0400 Subject: Add --prune to fetch commands; track (old) HTTPS configuration changes; general cleanup. --- https-what-repos.py | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100755 https-what-repos.py (limited to 'https-what-repos.py') diff --git a/https-what-repos.py b/https-what-repos.py new file mode 100755 index 0000000..5b66f19 --- /dev/null +++ b/https-what-repos.py @@ -0,0 +1,14 @@ +#!/usr/bin/env python + +# List Cryptech git repository URLs by scraping them from the +# automatically generated Trac page. Yes, we know too much about how +# the generation script and Trac format this page, c'est la vie. + +from urllib import urlopen +from xml.etree.ElementTree import ElementTree + +url = "https://wiki.cryptech.is/wiki/GitRepositories" + +for x in ElementTree(file = urlopen(url)).iter("{http://www.w3.org/1999/xhtml}tt"): + if x.text.startswith("https://git.cryptech.is/") and x.text.endswith(".git"): + print x.text -- cgit v1.2.3