There is a very useful article on splitting a repo, and excellent that it's linked to a working example to try.
But at the end of the steps, the advice is:
"The new freshrepo/bigdir is totally separate from the original splitpractice/bigdir directory. If you were splitting a repository in a production environment, you would probably remove the splitptractice/bigdir folder from splitpractice."
What is the exact command needed to achieve that? For those not experienced with git, it can be pretty scary, and very easy to wipe out vital history or other information by doing the wrong thing!
Thanks!