v01d commented on pull request #3050: URL: https://github.com/apache/incubator-nuttx/pull/3050#issuecomment-798932356
> > I personally think that the best time to update docs to account for changes in a PR is as part of the PR itself. Changing the docs is just changing a text file. Most of the time the subsequent doc update PR never happens (not saying this is your case, just an observation of past PRs). If you want to make the change to the docs in another PR, go ahead. I just think it would be a good practice to adopt. > > No, you misunderstood me. I will do it in the same PR. Just at a later time. After deciding on @xiaoxiang781216 's comments above. Ah, sorry, cool then. ---------------------------------------------------------------- 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
