GitHub integration

[bonzini]

Write a new plugin that creates a pull request for every complete series, and closes it when the series is merged. The plugin could also use the GitHub webhook to mark series as merged/obsolete when a pull request is closed, and to report the state of GitHub checks as a status box.

[famz]

Out of curiosity: why do we want this?

[bonzini]

Mostly to integrate GitHub checks with mailing list workflows, where patch application would be done with GitHub to ensure that checks gate the application. I am not planning to do it immediately, but I am opening the issue as a "reminder that it can be done".

[famz]

Okay.

We already pushes tags to github so checks can happen there, I'm not sure what more pull requests can provide.

We do want some webhook callback mechanism to get the results, though. For now we'll have to "poll" from the testing script, to get results.

[bonzini]

Can you see the results of checks that are run on a tag? Pull requests would provide the UI for checks and for merging, basically.

(Laszlo asked what can be done to integrate GitHub CI with mailing list workflow).

[famz]

That is a good point. It's not easy afaict.

[bonzini]

Also, since Patchew can parse the MAINTAINERS file, it could use that to assign reviewers on GitHub (e.g. M: Paolo Bonzini <https://github.com/bonzini>).