Automate Github Issues

[eborden]

It seems there is a fair amount of time spent by hackage trustees flagging and filing failures in the hackage matrix. Many projects are hosted on github and this presents an opportunity for automation. Instead of expending time and political capital of individual hackage trustees in filing these issues the process could be automated.

Good:

• Less time spent monitoring and reacting to failures.
• More time to spend on improving and refining infra.
• Directs less focus on individual trustees and more focus on the tool.

Bad:

• Bots can be annoying and produce false positives.
• Bots must either provide enough information for introspection or be complex in order to do introspection themselves.

[hvr]

What would you suggest an automatically submitted notification/issue could look like?

[eborden]

I'll put some thought in to this. I think the matrix has solid value for the ecosystem. It currently sits in this awkward phase between monitoring and CI. I think more automation would push it to be viewed more as CI.