Its possibly worth [someone other than me, since I'm meant to be on > vacation just now :P] discussing with infra before we proceed with svn > changes, to find out what they think in case it should impact any > subsequent migrations to Git that were to be made. >
I have pinged just such a mail onto the infra @ list.
