Werner LEMBERG <w...@gnu.org> writes: >> 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?
As mentioned elsewhere, your advice worked perfectly. -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
