> This sounds like the git repository is online again, and _some_ people > are able to access it. Personally, I still get > > git pull > Permission denied (publickey). > fatal: The remote end hung up unexpectedly > > So _if_ others are able to access git, it would seem that the account > data backup is quite older than the git repository itself.
Hmm. According to http://savannah.gnu.org/, they are using a backup from Nov. 22nd, and write access has been restored today at 11:00 GMT. > How should I proceed? Retry? Werner _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel