This repository was archived by the owner on Jan 31, 2020. It is now read-only.
This repository was archived by the owner on Jan 31, 2020. It is now read-only.
Revise repo name / data? #54
Description
Do we need a "repo name"?
Currently this is used to check that data files belong to the same repository, but it could be replaced by a random identifier or user field.