You can turn a folder within a Git repository into a brand new repository. If you create a new clone of the repository, you won't lose any of your Git history or changes when you split a folder into …
U. Menne. (2017)cite arxiv:1705.05253Comment: The present text is a version with additional references but without figures of a note compiled for the Notices of the American Mathematical Society. (v4: considerably expanded introduction, 6 pages).