Automate Verovio Sync with RISM using Git CI

[yinanazhou]

Now we need to manually sync with RISM upstream changes. It is better to use Git CI to do this on a weekly basis.