Re: [dev-servo] Merging mozjs and rust-mozjs

2020-01-11 Thread 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 a éc

Re: [dev-servo] Merging mozjs and rust-mozjs

2020-01-10 Thread Josh Matthews
Correct. On 2020-01-10 6:23 p.m., Alan Jeffrey wrote: 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 wrote:

Re: [dev-servo] Merging mozjs and rust-mozjs

2020-01-10 Thread 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 wrote: > This seems good to me. > > > On Fri, Jan 10, 2020, 9:59

Re: [dev-servo] Merging mozjs and rust-mozjs

2020-01-10 Thread Manish Goregaokar
This seems good to me. On Fri, Jan 10, 2020, 9:59 PM Josh Matthews 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/