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.