[maemo-developers] git push problem at git.maemo.org

[From: Ferenc Szekely]

Hello,

This will not be interesting to many of you, but I wanted to reach the
largest developer audience.

Members from the hildon and modest projects reported that git push fails
using the repositories on git.maemo.org.

After investigating for a few hours (thanks for help, Alberto [1]) I
have a strong feeling that these problems are related to the fact that
we use git over WebDAV. I do not know what is exactly causing that git
push fails, but tests confirmed that committing through SSH (to the same
repos) works flawlessly.

On the other hand I have also tested other repositories using our
"standard" push (over HTTPS; WebDAV; using libcurl) and did not
experience any problems. So this is -at least- weird..

These incidents and several requests from the past should raise the
priority of providing git access over SSH. However this needs careful
planning and time for implementation (ie. will not happen overnight).

Please let me know if you experienced problems (except speed) when
pushing code changes to git.maemo.org. Also please let me know if you
read or heard about workarounds in case git (or actually curl) returns
with "error code 18" [2] following push.

Apologies for the inconvenience if you and your project are affected.

Cheers,
ferenc

[1] https://garage.maemo.org/users/agarcia/
[2] http://curl.haxx.se/libcurl/c/libcurl-errors.html

-- 
maemo.org sysadmin, developer
email: ferenc at maemo.org