Trust me, it's a diff. I've seen a repo get into a very stupid state where there were changes in the main branch that weren't in the develop branch, but a PR didn't pick up those charges because they were somehow not in any of the commits