On Nov 13, 2015, at 5:58 AM, Urs Liska <address@hidden> wrote:
renaming the "openlilylib" repository to "snippets" ->https://github.com/openlilylib/snippets NOTE: This may require users to adapt their repository set-ups and LilyPond include path settings
What about this instead: clone or copy to a new /openlilylib/snippets repo, leaving the current /openlilylib/openlilylib in place for now. Then users can change to the new one while the old one still works. After a transition period, delete the old one. That would provide a smoother transition for users.
Just a suggestion. The rest of the plan seems fine to me.