Currently, all machines in the repository will dump to https://aiidateam.github.io/aiida-code-registry/database.json. We could add a file to control which machines will finally dump to the database. Then we can drop the machines without deleting their corresponding directory immediately.
Currently, all machines in the repository will dump to https://aiidateam.github.io/aiida-code-registry/database.json. We could add a file to control which machines will finally dump to the database. Then we can drop the machines without deleting their corresponding directory immediately.