gittripley removed a comment on issue #4376: correct the instructions/scripts after repository name is changed to incubator-tvm URL: https://github.com/apache/incubator-tvm/issues/4376#issuecomment-557330962 @tqchen It looks like I don't have the permission to raise PR. ``` Username for 'https://github.com': gittripley Password for 'https://gittrip...@github.com': remote: Permission to apache/incubator-tvm.git denied to gittripley. fatal: unable to access 'https://github.com/apache/incubator-tvm.git/': The requested URL returned error: 403 ```
---------------------------------------------------------------- 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: us...@infra.apache.org With regards, Apache Git Services
