On 07/01/2016 06:11 PM, Jonathan Griffin wrote:
We are planning to decommission git.mozilla.org. It was originally created
to serve the B2G project, but is no longer needed for that purpose, and
other uses have remained slight and don't justify the operational or
maintenance costs.
There is some work underway to migrate existing users to alternatives; this
is tracked in bugs that block https://bugzil.la/1277297. As soon as the
last of these is cleaned up, we'll be turning off git.mozilla.org. This
will likely occur the week of July 5th.
For futher details, see this dev-version-control thread:
https://groups.google.com/forum/#!topic/mozilla.dev.version-control/H6_TWlWPQGk
Would we keep maintaining the github mirror[1] of Gecko?
Are we planning to enforce git-cinnabar, even if this implies that we cannot
collaborate (yet) with other git repositories?
[1] https://github.com/mozilla/gecko-dev
Apparently git.mozilla.org/integration/gecko-dev.git is already lagging behind.
If like me you were using gecko-dev.git, you can switch to github using the
following command (assuming …/gecko-dev.git was named origin):
$ git remote set-url origin https://github.com/mozilla/gecko-dev.git
--
Nicolas B. Pierron
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform
