This is a public service announcement to let you know that as of a few
minutes ago, I brought up the mozilla-central git mirror again. The
credit mostly goes to John Schoenick (johns) for telling me what was
wrong, and even giving me a script to fix it.
You can still find your favorite repo here
<https://github.com/mozilla/mozilla-central> with a master branch
updating every 30 minutes, and an inbound branch updating every 10 minutes.
Cheers,
Ehsan
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform
