tvm-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <>
Subject [GitHub] [incubator-tvm] tqchen opened a new issue #5015: [DEV] Amend Github Attribution Bug
Date Mon, 09 Mar 2020 19:59:49 GMT
tqchen opened a new issue #5015: [DEV] Amend Github Attribution Bug
   See background here
   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:

With regards,
Apache Git Services

View raw message