Re: [PATCH] Update savannah URLs of gnulib.git files

2020-11-21 Thread Bruno Haible
Hi Dmitry, > in this case of blob_plain requests there is > obviously no difference except that cgit is usually faster. It is a lesser problem that a script takes 0.3 seconds longer to execute, than that a developer gets confused when they want to take a look at a git repository and the foremost

Re: [PATCH] Update savannah URLs of gnulib.git files

2020-11-21 Thread Dmitry V. Levin
Hi Bruno, On Sat, Nov 21, 2020 at 03:18:15PM +0100, Bruno Haible wrote: > Hi Dmitry, > > > * MODULES.html.sh: Prefer cgit URLs over gitweb. > > I don't think this is a good idea. > > For a particular file, the result of both wget commands is the same. I vaguely remember we had different

Re: [PATCH] Update savannah URLs of gnulib.git files

2020-11-21 Thread Bruno Haible
Hi Dmitry, > * MODULES.html.sh: Prefer cgit URLs over gitweb. I don't think this is a good idea. For a particular file, the result of both wget commands is the same. But the use in such scripts also encourages users to use similar URLs to access to git repository. Here, gitweb is more

[PATCH] Update savannah URLs of gnulib.git files

2020-11-20 Thread Dmitry V. Levin
Prefer cgit URLs over gitweb as the former are usually served faster: $ time -f %e wget -q 'https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f=build-aux/config.guess' 1.06 $ time -f %e wget -q 'https://git.savannah.gnu.org/cgit/gnulib.git/plain/build-aux/config.guess' 0.73 This