Bad on Github. It shouldnt have come down like that in the first place.
Shaming people (and entities) after they publicly admit a mistake tends to encourage them to dig in their heels and never revert. GitHub has a stranglehold on developer culture; they easily could have kept him banned. But whoever got him unbanned is also a part of GitHub, so they’re worth praising.
I agree it wasn’t ideal though.