For me it seems hard to do the way you want it because the history of both project won't merge.
My best advice would be to create a new repository to contain ABC and DEF, keeping old repo from these two to have history backup and start a fresh history with this new project.