[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gpsd-dev] git push fails
|
From: |
Bernd Zeimetz |
|
Subject: |
Re: [gpsd-dev] git push fails |
|
Date: |
Thu, 04 Oct 2012 13:56:20 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:10.0.6esrpre) Gecko/20120817 Icedove/10.0.6 |
On 09/26/2012 04:08 PM, Eric S. Raymond wrote:
> 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.
or add a || true to the hook...
--
Bernd Zeimetz Debian GNU/Linux Developer
http://bzed.de http://www.debian.org
GPG Fingerprint: ECA1 E3F2 8E11 2432 D485 DD95 EB36 171A 6FF9 435F