On Fri, Jan 31, 2020 at 4:30 PM Gregory Nutt <spudan...@gmail.com> wrote:
> > Perhaps Miguel could provide the review of PR3. I will be happy to > finish the merge after some review is provided. > > I can review the script, but maybe mostly generic (not too specific to NuttX though). > Once it has been merged, both you and Miguel can continue the > development with PRs. But we need to find someone competent to provide > review. > > Greg > Maybe @yamt (see https://github.com/apache/incubator-nuttx/pull/183/commits/bc07eb680e09db3d07ddf0ab1da655661c066bef) can take a look also, as he created that config for CircleCI (and maybe integrate their changes later in Jenkins too). I will try to give a review asap. Cheers, Miguel