On Sun, Mar 8, 2020 at 10:54 AM Gregory Nutt <spudan...@gmail.com> wrote: > >> I maintain only the Bitbucket tool repository. > >> > > Greg, can we migrate the bitucket tool to https://github.com/nuttx? > > No, I am going to keep my repositories on Bitbucket.
Should (or shouldn't) this become an official part of the Apache NuttX project? I don't think anything stops anyone from hosting a mirror anywhere they wish. Nathan
