Pragmatically, I’d rather have that person contributing under an known account, which people can vet as the see fit.
The alternative is not that the person is banned from GitHub. The alternative is they make a new account, under a new name.
The alternative is not that the person is banned from GitHub. The alternative is they make a new account, under a new name.