openLilyLib git

[Andrew Bernard]

Urs and all,

What happens to orphaned git repos? Not a case I am familiar with.

I'd be happy to fork the OLL repo and take over the management and
development. Should I do that? Are you going to delete the existing
repo?

Andrew