Updated humdrum-data repository

[Craig Sapp]

Hi **HUGers,

I changed the architecture of the humdrum-data GitHub repository, so if you are using it, you might like to re-clone it (particularly because I renamed the default branch from "master" to "main").  I would recommend placing it in another location rather than inside of the humdrum-tools repository download directory, such as ~/humdrum-data or ~/Desktop/humdrum-data.

To download:

git clone https://github.com/humdrum-tools/humdrum-data
cd humdrum-data
make

To update in the future, you can type in the humdrum-data base directory:

     make check-update

to see if any of the online repositories have been changed since you last downloaded them.  If so, then type:

make clean

make

(or "make xxx" where "xxx" is some data subset as discussed in the humdrum-data README).   A feature of the updating process is that any local files that you have in the repository's local file structure will not be deleted by the update process.

I have also added more recent repositories to those managed by the humdrum-tools repository, which currently downloads the full dataset containing 25,275 files with 17,200,510 sounding notes, and a total file size of 362.5MB.   If you have a GitHub repository of Humdrum files you want to add to humdrum-data, then submit a request on the issues page of the humdrum-data repository:

    https://github.com/humdrum-tools/humdrum-data/issues

You can also manage downloads by creating or editing the LIST files used to manage downloading files:

     https://github.com/humdrum-tools/humdrum-data/tree/main/.lists

The previous architecture used git modules to incorporate other repositories into the humdrum-data meta repository.   Now I have switched to the git sparse checkout system, which allows downloading specific directories of a repository rather than the entire repository (some repositories include PDF source editions, for example, which humdrum-tools now does not download).   The new system also allows merging multiple source repositories into the same local directory (e.g., "make sonatas"), and can also filter non-Humdrum files or select subsets of Humdrum files from a source repository directory (see "make tasso-year" which reorganizes the Tasso in Music Project files by publication year).

Each local directory contains a file called ".info" which gives information about the online GitHub repository from which the files are copied.  For cases where several source repositories are placed in the same local directory, additional files such as ".info2", ".info3", etc. will be given for the different online repository sources.

Currently only tested in MacOS, so if you encounter problems in other OSes in particular, report the problems to the humdrum-data issues page:

   https://github.com/humdrum-tools/humdrum-data/issues

-=+Craig