tqchen opened a new issue #5015: [DEV] Amend Github Attribution Bug URL: https://github.com/apache/incubator-tvm/issues/5015 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.
---------------------------------------------------------------- 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: [email protected] With regards, Apache Git Services
