What GitHub did wasn't shadowbanning though. They had a banner for him that said the account was flagged. Should they have sent an email? Absolutely, but that's not a shadowban.