Policy changes can only come from people in power. I’m just saying the people in power at GitHub are not political activists.

Pull is literally an alias for fetch followed by merge. GitLab already calls them merge requests, which caused approximately zero drama, so we have empirical evidence that no one actually cares about these things when they can’t pretend to be offended by them.