GitHub's market is developers. They want to do everything they can to protect that community, and if a developer uses their service to damage other developers,

GitHub's market is developers. They want to do everything they can to protect that community, and if a developer uses their service to damage other developers, they aren't going to stand for it.