g2gps commented on PR #8173: URL: https://github.com/apache/nuttx/pull/8173#issuecomment-1402833516
@xiaoxiang781216 I don't appear to have the option you suggested. Maybe because the pull request came from an organisation, not a personal account. Is there another way we could go about this? Possibly, if you sent me a patch, I could apply it and push the changes? -- 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
