Note that Github shows the number of commits on a PR