@samskalicky Thanks! I also think the error would be transient. Possibly I should wait for a while until this problem gets solved. It has apparently not, because so far updates since noon of 6th (UTC) have all failed, even including one that changes only a markdown file, which has failed at exactly the same place as ours.
UPD: Somebody has opened an issue regarding this problem: https://github.com/apache/incubator-mxnet/issues/12473 [ Full content available at: https://github.com/apache/incubator-mxnet/pull/12430 ] This message was relayed via gitbox.apache.org for [email protected]
