Re: [dev-servo] Panic reports belong in a separate repository

2016-07-05 Thread rfobic
Hi Folks, We end up submitting crashes to servo/servo as it seemed like a preferred choice last week when I talked to Jack about it. If you want to use a different repository instead, please let me know which one (preferably via issue in https://github.com/browserhtml/browserhtml and mentioning

Re: [dev-servo] Panic reports belong in a separate repository

2016-07-05 Thread Alan Jeffrey
Yes, this sounds like a good idea, especially if we can migrate issues. On Jul 5, 2016 06:03, "Manish Goregaokar" wrote: > I like this idea > > -Manish Goregaokar > > On Mon, Jul 4, 2016 at 9:06 PM, Josh Matthews > wrote: > > > While there can be advantages to having them integrated directly int

Re: [dev-servo] Panic reports belong in a separate repository

2016-07-05 Thread Manish Goregaokar
I like this idea -Manish Goregaokar On Mon, Jul 4, 2016 at 9:06 PM, Josh Matthews wrote: > While there can be advantages to having them integrated directly into > servo/servo, the sheer volume of reports is making my usual practices of > keeping on top of things happening in servo/servo difficu

[dev-servo] Panic reports belong in a separate repository

2016-07-04 Thread Josh Matthews
While there can be advantages to having them integrated directly into servo/servo, the sheer volume of reports is making my usual practices of keeping on top of things happening in servo/servo difficult to maintain. We should create a separate repository and redirect the panic reporter there, a