7 Dec
2013
7 Dec
'13
8:11 a.m.
On 7 December 2013 06:10, Ahmed Charles
Did this ever happen?
Not yet.
Note, I'd think that merging the two histories together would result in a more seamless transition from the svn history to the git history rather than having two disjoint histories.
There's not much advantage of having a seamless transition at this stage, so having a clean history for the repo is probably more useful in the long run.