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
