> On Nov 13, 2015, at 5:58 AM, Urs Liska <u...@openlilylib.org> wrote:
> renaming the "openlilylib" repository to "snippets"
> -> https://github.com/openlilylib/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.
-Paul
_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user
