I knew someone would comment this, but I wouldn't consider those as "GitHub users", because they are not registering, and are not interacting with anything on G

I knew someone would comment this, but I wouldn't consider those as "GitHub users", because they are not registering, and are not interacting with anything on GitHub. They only care about the specific repository they are viewing, not the platform.