marcoabreu edited a comment on issue #12784: Improved git reset for CI builds URL: https://github.com/apache/incubator-mxnet/pull/12784#issuecomment-429369297 Yes, I don't think this PR brings any value because the git workspace is managed on master. This PR won't bring any benefit because the code in question won't actually be executed - tampering a mirrored copy that Jenkins and all tools expect to be an exact copy rather poses more risks than potential benefits. I don't think there's anything we can do at that point.
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
