extracting a subpart of a git repository with history