Re: git push precautions

[Eli Zaretskii]

> Date: Thu, 29 Jan 2015 09:47:12 -0800
> From: Paul Eggert <address@hidden>
> Cc: address@hidden
> 
> On 01/29/2015 08:03 AM, Eli Zaretskii wrote:
> > There's nothing wrong in assuming a recent enough Git and in
> > recommending that contributors upgrade to such a recent version.
> 
> Quite right, and we already say git 1.7.1 or later is needed; please see 
> INSTALL.REPO.

So maybe we should upgrade our requirements to 1.9.2.