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

Reply via email to