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

[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, 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