v01d commented on pull request #31: URL: https://github.com/apache/incubator-nuttx-website/pull/31#issuecomment-691336061
> yeah eventually this trigger will get called from the OS CI, but we need secrets configured for that and INFRA was looking into it so it is a quick manual step for now. > > If the PR is against this repo then no additional action is needed. Is there a link you can share to the request to INFRA? I would like to ping them to have this sorted out. ---------------------------------------------------------------- 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
