Some time ago we shifted our patch coverage on pull requests to be determined by the git diff and coverage of the head, thereby eliminating a need for a base commit and providing accurate coverage more often.
Did we do the same thing for commits? It appears today like we may still be using an older base/head style comparison to determine patch coverage on commits (not pulls).
If we are still using the old logic we should shift to the updated diff+head coverage method.
Some time ago we shifted our patch coverage on pull requests to be determined by the git diff and coverage of the head, thereby eliminating a need for a base commit and providing accurate coverage more often.
Did we do the same thing for commits? It appears today like we may still be using an older base/head style comparison to determine patch coverage on commits (not pulls).
If we are still using the old logic we should shift to the updated diff+head coverage method.