leezu commented on pull request #20466: URL: https://github.com/apache/incubator-mxnet/pull/20466#issuecomment-943432414
@matteosal I notified the team who operates the infrastructure. The issue appears specific to your PR. In case the issue is related to the CI's inability to merge your branch into master, you could resolve it by rebase on master and force push. But that's just a guess. If this turns out to be the case, the bot should be updated to surface the error instead of silently failing. -- 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]
