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?

Am Wed, 30 Apr 2014 19:10:04 +0000
schrieb "Orvid King" <blah38621@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