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
