On 12-09-14 10:51 AM, Mike Hommey wrote:
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?
I am writing a blog post about what happened for future reference.
Cheers,
Ehsan
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform
