You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2021/12/07 17:27:39 UTC

[GitHub] [tvm] hogepodge opened a new pull request #9673: Add tutorial index redirect

hogepodge opened a new pull request #9673:
URL: https://github.com/apache/tvm/pull/9673


   Add a redirect for the old tutorial index.
   


-- 
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.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

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



[GitHub] [tvm] leandron merged pull request #9673: Add tutorial index redirect

Posted by GitBox <gi...@apache.org>.
leandron merged pull request #9673:
URL: https://github.com/apache/tvm/pull/9673


   


-- 
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.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

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



[GitHub] [tvm] leandron commented on pull request #9673: Add tutorial index redirect

Posted by GitBox <gi...@apache.org>.
leandron commented on pull request #9673:
URL: https://github.com/apache/tvm/pull/9673#issuecomment-988731387


   Thanks @hogepodge @driazati, this is merged now!


-- 
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.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

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



[GitHub] [tvm] driazati commented on pull request #9673: Add tutorial index redirect

Posted by GitBox <gi...@apache.org>.
driazati commented on pull request #9673:
URL: https://github.com/apache/tvm/pull/9673#issuecomment-988198260


   Tested via #9534 with `python tests/scripts/ci.py docs --full --tutorial-pattern none`, the redirect successfully sends `<host>/tutorials` -> `<host>/tutorials/index.html`


-- 
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.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

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



[GitHub] [tvm] hogepodge commented on pull request #9673: Add tutorial index redirect

Posted by GitBox <gi...@apache.org>.
hogepodge commented on pull request #9673:
URL: https://github.com/apache/tvm/pull/9673#issuecomment-988527391


   @areusch another easy docs redirect fix


-- 
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.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

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