I was checking some feature I did not notice before on GitHub called "Audit log". It registers all the events that happen in a GitHub organization.
And it shows you the location of the contributor!
...
Wow, that's crazy. GitHub helps organizations to invade the privacy of people willing to help them. Any serious threat actor will of course hide their IP, so this prevents nothing.
❤️1