I have contacted github support on that. For now I've reintroduced your [PR](https://github.com/apache/incubator-mxnet/pull/12271) and it [get's picked up by the CI](http://jenkins.mxnet-ci.amazon-ml.com/blue/organizations/jenkins/incubator-mxnet/detail/PR-12271/1/).
[ Full content available at: https://github.com/apache/incubator-mxnet/pull/12254 ] This message was relayed via gitbox.apache.org for [email protected]
