Do you have the latest tags in your first version?
You can get them with: git pull upstream --tags
On Wed, May 25, 2022 at 4:22 PM Roberto Bucher
wrote:
> Hi
>
> I have a local version of nuttx, and an access to the incubator nuttx
> repository through the git remote with this configuration:
>
>
Hi
I have a local version of nuttx, and an access to the incubator nuttx
repository through the git remote with this configuration:
bucher@debian:~/sviluppo/NUTTX/nuttx$ git remote -v
origin g...@github.com:robertobucher/incubator-nuttx.git (fetch)
origin g...@github.com:robertobucher/incubato