See background here https://discuss.tvm.ai/t/response-to-github-author-attribution-bug/5909
On Mar 5th 2020, github changed the the squash merge behavior, which caused three commit’s author being wrongly attributed. This problem has been fixed as of now by github so new PRs won’t be affected. The community values every contribution and would like to make things right. After discussion, we proposed the following approach to amend the contributions statistics without rewriting the history and force push. - First, the original merger will revert the PR - Once the PR is reverted, the original contributor can send another PR to the upstream - We will expedite the process. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-tvm/issues/5015
