marcoabreu commented on issue #12784: Improved git reset for CI builds URL: https://github.com/apache/incubator-mxnet/pull/12784#issuecomment-430044227 I'd still be opposed to merging because this would break our Jenkins validation strategy. Jenkins automatically creates a merge commit and does other modifications to align the various repository states. Merging this PR would destroy that structure and result in PRs not being validated in merge- but standalone mode. That's not something we would want. At the moment I'm having difficulties to find the benefit of this change. Could you maybe a elaborate which problem this would solve? Otherwise, I'd advocate for not changing a running system since that part has not caused an issues that I am aware of.
---------------------------------------------------------------- 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
