On Fri, Sep 14, 2012 at 08:41:19AM -0400, Ehsan Akhgari wrote: > OK, time for some good news. John Schoenick helped me yesterday on > IRC to understand what has caused this issue and how to fix it. I > tried that and it indeed fixed the problem. I'm currently in the > process of converting the rest of the repo to get to the current tip > of mozilla-central, which should take a couple of hours, and then > the mirror will start to update like before!
Could you share the details, for posterity? Mike _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
