This seems good to me.
On Fri, Jan 10, 2020, 9:59 PM Josh Matthews <j...@joshmatthews.net> wrote: > Given how closely intertwined the two repositories are, and especially > given we can no longer publish them to crates.io and have a pinned git > revision in rust-mozjs's Cargo.toml, I propose that we merge the > servo/mozjs and servo/rust-mozjs repositories into servo/mozjs. We can > follow > > https://saintgimp.org/2013/01/22/merging-two-git-repositories-into-one-repository-without-losing-file-history/ > to retain the file history of rust-mozjs. > > I would like to initiate this merge as soon as the current SpiderMonkey > upgrade that nox is working on is complete. Any objections? > > Cheers, > Josh > _______________________________________________ > 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
