Collection of miscellaneous repository mining tools, including:

####Mailing list downloader (gzip mbox) mlArchivesDownloader.py: to run, simply feed it with a list of archives of interest in a text file (such as this one for Python, extracted from here) and adjust the paths to suit your setup.