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 <loic@xxxxxxxxxxx> 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 majordomo@xxxxxxxxxxxxxxx > More majordomo info at http://vger.kernel.org/majordomo-info.html > -- Loïc Dachary, Artisan Logiciel Libre
Attachment:
signature.asc
Description: OpenPGP digital signature
