On 28 Jan 2013, at 12:25, Manik Surtani wrote:
The process you defined with GitHub pull requests is correct, for
cases where the documentation is enhanced to support a new feature in the code.
I wanted to add Disqus as a mechanism for anyone reading the documentation to ask
questions about the documentation, add more information from real-world experiences, or
report fixes to the documentation. E.g., suggest that something isn't clear,
isn't addressed, is incorrect or to provide additional information.
Similar, for example, to the "User Contributed Notes" section of the PHP
documentation (I've picked some random pages here - scroll towards the bottom to find
the User Contributed Notes):
http://php.net/manual/en/language.operators.string.php
http://php.net/manual/en/language.oop5.traits.php
MySQL has something similar:
http://dev.mysql.com/doc/refman/5.5/en/create-database.html
http://dev.mysql.com/doc/refman/5.5/en/drop-index.html +1. Thanks for the
clarification.
Cheers,
--
Mircea Markus
Infinispan lead (
www.infinispan.org)