tmedicci commented on PR #11543: URL: https://github.com/apache/nuttx/pull/11543#issuecomment-1892618381
> Sorry for that force push, I have never make a pull request in such a popular repository. I do not know merge operation will affect the souce repo. You can take a look at https://nuttx.apache.org/docs/latest/contributing/making-changes.html on how to contribute to NuttX. You made the changes in your own repository, but on `master`. You should have created a specific branch for that (step 5). Don't worry about it, you can try again: just create a new branch locally with your changes and resubmit it... I think you would need to create a new PR (I don't know if you can edit the source branch. If so, just change it). -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
