Re: [dev] Migration to git

[Nick]

(with apologies for screwing up threading slightly)

Thanks Christoph, looks good. One thing is that there don't appear
to be any tags (at least with surf, which is what I tested). Can
these be migrated too? It'd be useful.

Nick