I believe the current strategy is to try and stick with GitHub and tools that are friendly and familiar to potential contributors as long as we can. The fact that the tool is limited makes it fairly easy to move the data when we eventually part ways.
jack. On Mon, Dec 16, 2013 at 1:10 PM, Brendan Eich <bren...@mozilla.com> wrote: > Boris Zbarsky wrote: >> >> (Note, I expect that's a "when", not an "if", unless Github drastically >> revamps how it treats issues.) > > > We talked to github.com principals, so far they seem content to focus as > they have been, and not serve big and complex mission-critical projects with > hosting for bugs and source. I can see why from looking at their business > interests. > > /be > > _______________________________________________ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
