You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@mxnet.apache.org by GitBox <gi...@apache.org> on 2020/04/21 18:30:29 UTC

[GitHub] [incubator-mxnet] leezu commented on issue #17885: MXNet Extensions enhancements

leezu commented on issue #17885:
URL: https://github.com/apache/incubator-mxnet/pull/17885#issuecomment-617337522


   < We didnt want to rerun the whole CI. did we fix the problem where renaming the PR reruns CI @leezu ?
   
   @samskalicky when merging the commit, Github allows to edit the commit message. So the commit message can be different from the PR title. Indeed we can't edit the PR title without retriggering the CI as of now (cc @ChaiBapchya)


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org