Re: users.txt patch

[Paul Eggert]

Benoit SIGOURE <address@hidden> writes:

>> -<pre><samp>git clone git://git.savannah.gnu.org/gnulib.git
>> +<pre><samp>git clone git://git.savannah.gnu.org/gnulib
>>  </samp></pre>
>>
>
> Is there any reason why this has changed?

It was to match what was in the README file for gnulib.

> I learned (the hard way) that for bare public repositories, it's
> better to stick to what turns out to be more than a naming
> convention of `project.git'.  I don't know if these issues are only
> related to dumb protocols (HTTP*) or if they also affect the Git
> protocol.  I can't find the relevant thread on the Git ML but the
> thing is that it seems that several tools rely on the fact that a
> repository name of the form `foo.git' implies that it's a bare
> repository (and thus it doesn't need to look for a nested .git
> directory).

I'm sorry, I wasn't aware of that issue.  I fixed both README
and gnulib.html.  Thanks.