> On Jun 21, 2020, at 11:58 PM, Gaetan Bisson <[email protected]> wrote: > > [2020-06-15 13:01:04 -0700] Dirk Hohndel via subsurface: >> I strongly believe that words matter. And that sometimes it's the small >> things where we can show respect. > > Shall we rename divemaster too? As an explicit GUI label it gets much > more user exposure than the default branch name. I would suggest dive > leader but it is probably just as offensive due to its resemblance to > nazi titles.
I don't see dive leader as reminiscent of nazi titles. And typically I'm fairly sensitive to these things. Yeah, let's not call it "dear leader" :-) A number of people have pointed out that this is likely more important than the branch name, and I think I agree. /D _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
