Re: RFC: Github PR bot questions

[Miguel Ojeda <miguel.ojeda.sandonis@gmail.com>]

On Wed, Jun 16, 2021 at 8:22 PM Konstantin Ryabitsev
<konstantin@linuxfoundation.org> wrote:
>
> That's pretty cool, but I'm opposed to this on theological grounds. :)
> I think there's intrinsic value to development happening outside of any
> proprietary environments, especially if this becomes cornerstone to how a
> subsystem is maintained.

GitHub being proprietary does not really matter -- we can migrate to
any other similar service quite easily (even a kernel.org-hosted one!,
e.g. a hosted GitLab instance).

> I'm not saying Github is going to go away any time, but on the other hand we
> just watched Freenode completely implode within the span of 3 weeks, so I'm
> extra wary of introducing any single points of value into the development
> workflow. If my pr bot goes away, it'll at most reduce the convenience of the
> submission process, but not hobble it in any way, so I intend to just treat
> Github as a developer frontend tool.

Sure -- that is why the bot does not depend on any "advanced" or
GitHub-specific feature: currently it only needs to read
commits/PR/messages and post messages (i.e. the same as your bot),
which is basic functionality that any GitHub/GitLab/...-like service
must provide.

Cheers,
Miguel