GitHub announced that it's getting rid of some older terms used in its platform, in favor of more inclusive language.