On 5/4/15 11:19 AM, "Federico Bruni" <fedel...@gmail.com> wrote: >So I'd rather put a script to download the repository when the user logs >in >for the first time. >What do you think?
Isn't that the way it works right now? If not, it certainly should. There should be a script that configures git properly (i.e. with user name and user email) and then clones the lilypond repository. Thanks, Carl _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel