There is no change to https://github.com/mozilla/gecko-dev or related workflows. Only the git.mozilla.org mirror of this repo is going away.
On Fri, Jul 1, 2016 at 12:40 PM, Nicolas B. Pierron < nicolas.b.pier...@mozilla.com> wrote: > 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 > _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
