On 11/09/2015 15:53, Daniel Gryniewicz wrote:
> Maybe periodically run git gc on the clone out-of-line?  Git runs it
> occasionally when it thinks it's necessary, and that can take a while
> on large and/or fragmented repos.

I did git prune + git gc on the clone on both sides (receiving and sending) but 
it did not help. But I did dig deeper than that.

> 
> Daniel
> 
> On Fri, Sep 11, 2015 at 9:03 AM, Loic Dachary <l...@dachary.org> wrote:
>> Hi Ceph,
>>
>> The make check bot failed a number of pull request verifications today. Each 
>> of them was notified as false negative (you should have received a short 
>> note if your pull request is concerned). The problem is now fixed[1] and all 
>> should be back to normal. If you want to schedule another run, you just need 
>> to rebase your pull request and re-push it, the bot will notice.
>>
>> Sorry for the inconvenience and thanks for your patience :-)
>>
>> P.S. I'm not sure what it was exactly. Just that git fetch took too long to 
>> answer and failed. Reseting the git clone from which the bot works fixed the 
>> problem. It happened a few times in the past but did not show up in the past 
>> six month or so.
>>
>> --
>> Loïc Dachary, Artisan Logiciel Libre
>>
> --
> To unsubscribe from this list: send the line "unsubscribe ceph-devel" in
> the body of a message to majord...@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
> 

-- 
Loïc Dachary, Artisan Logiciel Libre

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to