Re: RFC: Github PR bot questions

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


On Thu, 17 Jun 2021 10:47:41 -0400
Konstantin Ryabitsev <konstantin@xxxxxxxxxxxxxxxxxxx> wrote:

> It's not specific to GH at all. The same bot will be able to perform similar
> actions to emails created by git-request-pull, e.g.:
> - submitter runs git request-pull instead of git-format-patch
> - submitter sends the output to a dedicated mailing list like
>   pulls@xxxxxxxxxxxxxxx
> - the bot auto-converts these requests into patch series and sends them to
>   proper destinations

I know many people that this will be useful for. Especially those that have
to send with their work email, and have to fight Exchange servers. And
gmail isn't very good at sending patches either.

Let me see if I understand the proposed work flow, and perhaps add some

1) Someone clones Linus's tree or some subsystem tree into their github

2) Does some work.

3) Pushes it to their account on github.

4) Runs git pull-request that will go to pulls@xxxxxxxxxxxxxxxx

5) Then this bot can pull the request into a tree.

6) Runs checkpatch on each commit.

   On errors, sends a report to the submitter, and stops here.

7) Could have the zero-day-bot run against it.

   On errors, send it back to the submitter.

8) If it passes all the above, it then gets broken into a patch series and
   then sent out to the mailing lists and Cc's maintainers based on the
   get_maintainers list. Probably should be filtered a bit.

Is this what is being proposed?

-- Steve

[Index of Archives]     [Linux Samsung SoC]     [Linux Rockchip SoC]     [Linux Actions SoC]     [Linux for Synopsys ARC Processors]     [Linux NFS]     [Linux NILFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux