git-problem fatal: read error: Connection reset by peer

Hi, trying ~/lilypond-git (dev/local_working)$ git pull -r returns: fatal: read error: Connection reset by peer What's wrong? -Harm ___ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel

Re: git-problem fatal: read error: Connection reset by peer

2012/12/24 Thomas Morley thomasmorle...@googlemail.com: Hi, trying ~/lilypond-git (dev/local_working)$ git pull -r returns: fatal: read error: Connection reset by peer What's wrong? -Harm After rebooting LilyDev, it works again. -Harm