@simon if one wanted to maintain a mostly straightforward dataset in a GitHub repo, collaboratively with other people, potentially the public (i.e. “crowdsourcing”) — would you suggest using CSV, JSON, or something else as the file format?

@avi either works great

I have a very loose preference for indented JSON because it diffs nicely and gives you integer/float/string/boolean types which you don't get with CSV