Merging mozjs and rust-mozjs

[Josh Matthews]

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

[Manish Goregaokar]

This seems good to me.

> _______________________________________________
> dev-servo mailing list
> dev-...@lists.mozilla.org
> https://lists.mozilla.org/listinfo/dev-servo
>

[Alan Jeffrey]

Would the idea be to have two top-level dirs, `mozjs` and `mozjs_sys` each
of which has its own `Cargo.toml`? So the crates would be the same, it's
just the repos that are merging?

On Fri, Jan 10, 2020 at 10:31 AM Manish Goregaokar <manis...@gmail.com>
wrote:

[Josh Matthews]

Correct.

[Anthony Ramine]

I'm ok with that, especially given that's what I intend to do with my independent looking into how we could improve the SM vendoring situation (except that the top-level crate in my case is an unpublishable tool for handling the rest of the repo).

> Le 11 janv. 2020 à 00:35, Josh Matthews <jo...@joshmatthews.net> a écrit :
>
> Correct.
>
> On 2020-01-10 6:23 p.m., Alan Jeffrey wrote: