Feeds:
Posts
Comments

Posts Tagged ‘repositories’

Mirroring Patch Tag

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!

Read Full Post »

Follow

Get every new post delivered to your Inbox.