acassis commented on PR #16763: URL: https://github.com/apache/nuttx/pull/16763#issuecomment-3114981572
> Woops, not sure if I should have force pushed there... But I added a very simple doc page, and added it to the index.rst too. Do I need to do something else? I've never worked with this kind of docs. Yes, git push forced is fine and it is the way to go. Please fix this issue in your documentation: /home/runner/work/nuttx/nuttx/Documentation/guides/nix_flake.rst:2:Title underline too short. You can build the Documentation locally before submitting: enter inside Documentation/ and run "make html" If you can please put the Documentation in a separated commit, this way it is easy to track in the Release Note -- 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. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
