Gwern, darcs archivist extraordinaire, asked me to make it easier for him to mirror repositories hosted on patch-tag.
After some back and forth, I provided the link above.
If anybody else would like to mirror patch tag repositories, gwern kindly provided me with the script he uses for mirroring patch tag:
It’s a nice basic example use of tag soup for parsing simple html (a list of links), incidentally.
Enjoy!
