Yes, this sounds like a good idea, especially if we can migrate issues. On Jul 5, 2016 06:03, "Manish Goregaokar" <manishsm...@gmail.com> wrote:
> I like this idea > > -Manish Goregaokar > > On Mon, Jul 4, 2016 at 9:06 PM, Josh Matthews <j...@joshmatthews.net> > 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 difficult to maintain. > We > > should create a separate repository and redirect the panic reporter > there, > > and file issues in servo/servo when a panic is reproducible. There exist > > tools to migrate issue reports between repositories (not built into > github, > > unfortunately), so we could even write a bot that would automatically > > migrate it for us. > > > > 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 > _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
