Agreed with Mark completely! Especially in case of IDEs. I will summarize discussion tomorrow for the notice to the board that we have consensus or not.
If there will not be more voices for change than for staying with current one do we still need start a Vote - Something like: Change name or not ? Dave what do you think about that ? Thanks, Piotr 2017-09-13 12:01 GMT+02:00 Kessler CTR Mark J <mark.kessler....@usmc.mil>: > One thing we need to do is stick with whatever name we come up with. > There is a lot of time and money involved in renaming stuff. Not only > internally for our own repo's, sites, JIRA, wikies... but also for things > like the IDE makes or people building 3rd libraries from it. > > -Mark K > -- Piotr Zarzycki mobile: +48 880 859 557 skype: zarzycki10 LinkedIn: http://www.linkedin.com/piotrzarzycki <https://pl.linkedin.com/in/piotr-zarzycki-92a53552>