marcoabreu commented on pull request #18560: URL: https://github.com/apache/incubator-mxnet/pull/18560#issuecomment-644435067
We opted to not turn that in for feature branches to not bother infra too much and also allow the release manager to make certain calls without hitting limits. It's the general policy within the project that PRs with failed CI do not get merged. If a PR was merged, then the committer who merged the PR should be contacted and reminded. ---------------------------------------------------------------- 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