patchew-project / patchew

A patch email tracking and testing system
MIT License
72 stars 24 forks source link

GitHub integration #119

Open bonzini opened 5 years ago

bonzini commented 5 years ago

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 commented 5 years ago

Out of curiosity: why do we want this?

bonzini commented 5 years ago

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 commented 5 years ago

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 commented 5 years ago

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 commented 5 years ago

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

bonzini commented 5 years ago

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>).