Re: [gpsd-dev] Can not push to git.sv.gnu.org

[Eric S. Raymond]

Christian Gagneraud <address@hidden>:
> On 21/08/12 16:55, Eric S. Raymond wrote:
> >address@hidden <address@hidden>:
> >>    git push fails (for me) since yesterday.
> >
> >I'm seeing the same issue.  I think it's a problem with ciabot.  I'll
> >investigate.
> 
> I'm having problems here as well:
> 
> gpsd> git push
> fatal: The remote end hung up unexpectedly

Should be fixed now.  We had to disable the ciabot hook script, which broke 
because the server address was changed.

I happen to be the maintainer of that script.  I've fixed it to fail more
gracefully if the address ever changes again, and shipped the patch to
the git folks.

Commit notifications will not resume being visible on #gpsd until the
new version is installed on Savannah. I've mailed the admin a copy.
-- 
                <a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>