Re: NuttX github action pull request check build CI enabled

[Gregory Nutt]

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.