Script to get all repos for Mediawiki extensions