es una operación común cuando un proyecto crece tanto que un subdirectorio merece convertirse en un repositorio propio.
Esta es la herramienta oficial recomendada por Git actualmente. Si no la tienes, puedes instalarla (suele requerir Python: `pip install git-filter-repo` o 'apt install git-filter-repo).
git clone --no-local /ruta/al/repo_original repo-subdirectorio cd repo-subdirectorio
git filter-repo --path nombre-del-directorio/
git remote add origin ssh://git@git.fidmag.org:2222/usuario/nuevo-repo.git git push -u origin main
git rm -r nombre-del-directorio git commit -m "Eliminado directorio migrado a repositorio independiente" git push