Changes to our Git infrastructure

[Jeff Mitchell]

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