It appears that - aside from DFTK.jl - I am the only one using this registry. DFTK.jl is more than ready to move to General (probably has been for a while, may it's already in General?).
In the meantime I occasionally get grumpy users asking what the point of the local registry is.
I am therefore wondering out loud ... should we just
(1) shut down the MolSim registry
(2) move general-use and mature packages to General
(3) For my own group's purposes / the ACE eco-system I create a new local registry
thoughts? @mfherbst ? anybody else?
It appears that - aside from DFTK.jl - I am the only one using this registry. DFTK.jl is more than ready to move to General (probably has been for a while, may it's already in General?).
In the meantime I occasionally get grumpy users asking what the point of the local registry is.
I am therefore wondering out loud ... should we just
(1) shut down the MolSim registry
(2) move general-use and mature packages to General
(3) For my own group's purposes / the ACE eco-system I create a new local registry
thoughts? @mfherbst ? anybody else?