[_y5hn]

A change from people in power is the very definition of top-down change. Words convey meaning.

It's hardly surprising the priesthood of developers rally against any changes to their sacrosankt nonsensical namings. Merge is different from pull/push though.

[jakelazaroff]

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.