Am Wed, 30 Apr 2014 19:10:04 +0000 schrieb "Orvid King" <blah38...@gmail.com>:
> Just thought of a minor addition to the guidelines. > > While discussion of the naming of the public API should occur on > the newsgroup, discussion of the names of locals, or non-public > APIs should occur on Github. > > Any objections/concerns/improvements to this? No and I think it comes natural that we don't need to discuss internal variable names here. :) -- Marco