On 5 Jan 2015, at 4:05, Jan Kundrát wrote:
Ben, you and Jeff appear to disagree with my point that e.g. requiring a PHP tool to be installed client-side on each developers' and contributors' machine might be a little bit discouraging.
Yes, because you are repeatedly assuming that such a tool would be required on all developers' and contributors' machines, and are ignoring our repeated statements that this is not a requirement to be a developer or contributor.
--Jeff
