Follow-up Comment #4, task #13235 (project administration): does it happen consistently? unfortunately the machine gets overloaded from time to time (unpredictably) with resulting failures. so it's worth trying again.
if it fails all the time -- do you have your ssh key uploaded, and the git repository checked out as your savannah user (vs. anonymously)? fwiw, the right place for these reports is the "support" queue, https://savannah.gnu.org/support/?group=administration. The same set of people will see it, though :). _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/task/?13235> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/