On Wed, Jan 10, 2018 at 12:39 PM, Robert Munteanu <[email protected]> wrote: > ...Unless strictly needed, I would suggest that we import just the latest > state, not the repository history...
+1, but as Stefan notes, once imported the history is important and we shouldn't lose it - for which your copy-with script mechanism helps. -Bertrand
