A little of topic... @Alan PR32 is still in the repo and is ahead of master. Looks like you didn't merge it. BTW dev is also out of synch with master. All the PRs are getting merged to master.
On Fri, Jan 3, 2020 at 3:12 PM Alan Carvalho de Assis <acas...@gmail.com> wrote: > > Hi Nathan, > > On Friday, January 3, 2020, Nathan Hartman <hartman.nat...@gmail.com> wrote: > > On Thu, Jan 2, 2020 at 10:54 PM Nathan Hartman <hartman.nat...@gmail.com> > > wrote: > > > >> On Thu, Jan 2, 2020 at 10:31 PM Gregory Nutt <spudan...@gmail.com> wrote: > >> > >>> > >>> > Ok. I'm okay with that. > >>> > >>> Perhaps you could merge this for me: > >>> > >>> https://github.com/apache/incubator-nuttx/pull/31 > >> > >> > > Looks like Alan beat me to it. > > > > > > There were 3 PRs already today morning, so I had to do it. > > Few days ago Greg taught me his process, I created a post that could be > uselful until we come up with the new workflow: > > https://acassis.wordpress.com/2020/01/02/the-old-way-nuttx-workflow/ > > BR, > > Alan
