Does it affect developers? Especially the pull request in progress. Because the git remote url is changed.
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/4212#issuecomment-549244436
