Is banning certain people from a GPL GitHub (is Godot GPL?) an infringement of the GPL license?
It's banning them from editing the code. Anyone can view it. You and me right now can't edit the Debian repo main branch, but it's still GPL