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 2018/02/28 20:03:05 UTC

[GitHub] pluskid commented on issue #8727: jenkins: julia build script

pluskid commented on issue #8727: jenkins: julia build script
URL: https://github.com/apache/incubator-mxnet/pull/8727#issuecomment-369365031
 
 
   I think it is OK to keep the development in the main repo side: either way seems to have trade offs. I guess the important thing is to keep both sides in sync. Currently hard constraints is that the Julia package should be in a separate repo (being a mirror or not). 
   
   As for documents, sphinx might work but there might be some extra work to make the dynamically generated doc work. Also I see a much less motivation to merge and migrate the docs. The original setup should still work, right?

----------------------------------------------------------------
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:
users@infra.apache.org


With regards,
Apache Git Services