On Tue, Jun 16, 2020 at 08:11:01PM +0300, Oleg wrote: > > I think it's clear that this _is_ a politically-driven change. It is > > not > > helping the software in any technical way to change the name. The > > Yes. You are absolutely right. > > > question is whether the more abstract benefits to people are worth the > > potential costs. > > Of course, not. This is obvious. Oleg, that doesn't make it an invalid discussion point. If Git was written in German and the lead branch was called "refs/heads/fuhrer" (German word for "leader"), you'd be on the opposite side of the barricades arguing that this needs to be changed because it's offensive to many people whose immediate family members died in WW2. And someone else would be reasonably pointing out that "fuhrer" doesn't mean "The Fuhrer" and nobody is even alive since then anymore, and omg, why is this even a discussion topic -- isn't there something more important everyone could work on? Yes, it's a politically motivated change, but it's clearly important to quite a few people right now and their views should not be disregarded. -K
