[DEV] Amend Github Attribution Bug

[tqchen]

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.

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

List of PRs

• Conditions updated to cover better user scenarios #4951
• [Torch, QNN] Add support for quantized models via QNN #4977
• Tighten split's extent #4931
• Fix gpu not found when running TVM docker #4975
• [topi][relay] add operation tan to TVM #4938

[tqchen]

cc @merrymercy @kevinthesun @anijain2305 @masahi

[tqchen]

Close for now as four out of five PRs affected has been amended via revert/repatch Did not yet get reply in #4975 . As it is a one-line patch, we will close this issue for now.