On Tue, Jul 6, 2021 at 2:26 AM Pedro Tammela <pctammela@xxxxxxxxx> wrote: > > Does this mean that development will be done exclusively on GitHub? > If affirmative, is there a bot that will replicate the messages in the > mailing list? Development has happened mainly in GitHub so far, but we have accepted patches from the ML and we can do their reviews there too. We do not have a bot to replicate reviews into the mailing list nor any fancy bidirectional sync, though. If this is deemed unacceptable by Linus et. al., we can do development in the ML as usual -- we do not really mind one way or the other (and, in fact, we discussed moving things to a git.kernel.org tree too). The main point of GitHub/GitLab/etc. for us so far is having an issue tracker and some kind of CI. Cheers, Miguel