Hello On Sun, 1 Jul 2018 09:59:11 +0200, Urs Liska <li...@openlilylib.org> wrote:
> > > Am 01.07.2018 um 09:55 schrieb James Lowe: > > I don't know what the difference is between pull and fetch in terms of > > 'rights' but I'd have thought it would be the same right? > > > > Yes, the difference comes only on your own computer. Which has not changed (in terms of ssh keys, ./gitconfig etc.) for about 2 years. and like I said, it worked again briefly between about 11am and 3pm yesterday. Can someone else try to fetch? James _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
