Corrupted git submodule in sage repo

[Kwankyu Lee]

Hi

I noticed

----

$ cd sage
sage$ git submodule status
fatal: no submodule mapping found in .gitmodules for path 'subprojects/factory'
sage$ git status
On branch develop
Your branch is up to date with 'origin/develop'.

nothing to commit, working tree clean

----

I can fix the fatal error as follows.

----
sage$ git submodule deinit -f subprojects/factory
sage$ git status
On branch develop
Your branch is up to date with 'origin/develop'.

nothing to commit, working tree clean

----

But there is nothing to commit! How can we fix the repo?

By the way, what is this directory subprojects/factory for? Can we remove it?

[Kwankyu Lee]

I could trace the problem to 

https://github.com/sagemath/sage/pull/37447

[Kwankyu Lee]

But there is nothing to commit! How can we fix the repo?

By the way, what is this directory subprojects/factory for? Can we remove it?

Removing the directory would fix the problem. 

[Kwankyu Lee]

I remove the seemingly useless directory: subprojects/factory in the PR https://github.com/sagemath/sage/pull/39009