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. 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
