Re: PR build failed because of git errors

2018-03-29 Thread Haibin Lin
I've seen this before. Try rebasing and force pushing. On Thu, Mar 29, 2018 at 3:51 PM, Indhu <indhubhara...@gmail.com> wrote: > Hi, > > Looks like PR #10039 build failed because of git errors. Here is the error > log: > http://jenkins.mxnet-ci.amazon-ml.com/job/incubator- &

PR build failed because of git errors

2018-03-29 Thread Indhu
Hi, Looks like PR #10039 build failed because of git errors. Here is the error log: http://jenkins.mxnet-ci.amazon-ml.com/job/incubator-mxnet/job/PR-10039/4/console. Does someone know what could be happening here? Build error: Adding as 3rdparty/dlpack~7c28089749287f42ea8f41abd1358e6dbac54187