[Mailman-Users] Re-creating lost mailman archives from GMail account using Gmail API

[Alias]

Hello all,

I've recently had an unfortunate data loss - a mailing list which I
run was lost in a server outage, and for some reason my hosting
company was unable to locate the archive backups.

However - I have been running then entire list admin through a GMail
account, and I do in fact have every single post made to the list, and
I can easily recover all of the posts from there.

What I'm contemplating doing is writing a python script to 

a) Recover all of the posts in their original form using GMail api
b) Reconstitute the archives somehow from this data

Now - without getting too much into the details of how the python side
of things would work, does anyone know how I would go about
re-creating the archives? Would it be possible just to re-send every
single mail and somehow fake the headers to make mailman index them
correctly ? Or, better still, is there an existing
script/utility/commandline switch that I could just run on a directory
of email files?

Any input would be most appreciated,
Sincerely,
Alias Cummins