[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gpsd-dev] git push fails
From: |
Eric S. Raymond |
Subject: |
Re: [gpsd-dev] git push fails |
Date: |
Wed, 26 Sep 2012 10:08:54 -0400 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
address@hidden <address@hidden>:
> Hallo,
>
> git push fails for me.
> Looks like a problem with ciabot.
>
> There was an (single line) error message yesterday evening, but the data were
> added to the repository.
Happens when the cia.vc site is down. I need to nudge Savannah into installing
the newewst version of ciabot, which copes with this.
--
<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>