Are they private repos? Also forget everything you know about Github being a social platform. Leave the emojis and memes on your phone.

I don't have a Github account, yet my code is in there with my name on commits. Someone else cloned the repos and pulls from them regularly.

The identity working with the code doesn't have to match the code.

Are you saying they will ban some "foo" account if it pushes code into a repo where some of the commits are authored by some user "Non Grata <bar@whatever.com>"?

Or how does it work?