Re: In case you're curious...
Reply #2 –
I suspect they're due to the additional repositories: not only the main repo is counted, but also tools/etc. Only one of them is shared across the two: your tools repo. (and even there I don't know if the same branch or which fork of the repo etc.)
Re: In case you're curious...
Reply #3 –
Ahhh...I thought it was "repo-specific"!