git-push is hanging [Re: [parted-devel] "config.h" to <config.h>

[Jim Meyering]

Jim Meyering <jim at meyering.net> wrote:

> Jim Meyering <jim at meyering.net> wrote:
> ...
>> For example, you could change them all with e.g.,
>>
>>   grep -lr '^#include "config.h"' . \
>>    | xargs perl -pi -e 's/^#include "config\.h"/#include <config.h>/'
>>
>> If you do that, also include the following change.
>> It enables the "make distcheck"-time test to ensure
>> no one introduces a new use of "config.h".
>>
>> diff --git a/Makefile.cfg b/Makefile.cfg
>> index 52951de..e1bad2b 100644
>> --- a/Makefile.cfg
>> +++ b/Makefile.cfg
>> @@ -36,7 +36,6 @@ gpg_key_ID = D333CBA1
>>  local-checks-to-skip = \
>>    sc_file_system \
>>    sc_prohibit_atoi_atof \
>> -  sc_require_config_h \
>>    sc_system_h_headers \
>>    sc_space_tab \
>>    sc_tight_scope \
>
> I've gone ahead and done the above.

Well, I've committed and *tried* to push.
The git-push has been hanging for about 3 minutes so far.

If alioth (git.debian.org) is not consistently reliable,
we should switch to a hosting service that *is*.