raiden00pl commented on PR #3475: URL: https://github.com/apache/nuttx-apps/pull/3475#issuecomment-4428251354
@lupyuen PR is here https://github.com/apache/nuttx-apps/pull/3478 but I don't know if this will help in all cases. This is an error on the GitHub infra side. If GitHub is unable to clone from its own repos, it means GitHub is temporarily broken and it may take longer than our repeated attempts. -- 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]
