Yes. But that feature needs to be enabled for us by infra.
-----Original Message----- From: Abdelatif Guettouche [mailto:abdelatif.guettou...@gmail.com] Sent: Friday, February 05, 2021 2:04 AM To: dev@nuttx.apache.org Subject: Re: I saw a new option for merging in GH: Auto merge when CI completes We set it manually right? I mean after reviewing we can set the PR to be merged when the CI checks are done? On Fri, Feb 5, 2021 at 10:53 AM David Sidrane <david.sidr...@nscdg.com> wrote: > > Hi, > > I saw a new option for merging in GH Auto merge when CI completes. > > What is the group's opinion on having this enabled? > > David