Yes, because GitHub is a centralized platform and must have moderation to prevent spam. There are plenty of ways out of band to protest a muting on GitHub, so there really isn’t a censorship argument. It’s operations on a high visibility public repo. GitHub doesn’t own Bitcoin. It’s just one window into its source code.