Ouss4 commented on pull request #2442: URL: https://github.com/apache/incubator-nuttx/pull/2442#issuecomment-735455128
But if 10.0.1 never sees the day we would just have a dangling commit. I don't think that's harmful (especially with this change), but I personally find it better and less confusing when the final tag matches the head of the branch. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org
