Uploading external tarballs to <https://dev-www.libreoffice.org/src>?

[Stephan Bergmann]

On 4/25/24 03:22, Guilhem Moulin wrote:
> See https://git.libreoffice.org/extern#introduction .

"The new file will then shortly be available at 
https://dev-www.libreoffice.org/src/my-new-file.tar.gz once the 
changeset is submitted by a committer."

Is there a reason why there is apparently that temporal gap between 
submitting the change in Gerrit and the file becoming available for 
download?

(Shortly after I had submitted 
<https://git.libreoffice.org/extern/+/9b752c6eee74b5f540b263819b461f19befe0766%5E%21> 
"src/boost_1_85_0.tar.xz", a local test build of 
<https://gerrit.libreoffice.org/c/core/+/166656> "Upgrade external/boost 
to latest Boost 1.85.0" scarily failed with

> cd /home/sberg/lo0/tar/tmp && echo fetching boost_1_85_0.tar.xz && bash -c '/usr/bin/curl -L -O https://dev-www.libreoffice.org/src/boost_1_85_0.tar.xz 2>&1 | tee -a /home/sberg/lo0/tar/fetch.log && [ $PIPESTATUS -eq 0 ]' && SUM=`shasum -a 256 boost_1_85_0.tar.xz | sed "s/ .*//"` && if test "$SUM" != "4e23218ff5036d57afd20f7cdab2e94cdbf6ba9c509d656ace643a81c40a985a"; then echo ERROR: expected checksum for boost_1_85_0.tar.xz is 4e23218ff5036d57afd20f7cdab2e94cdbf6ba9c509d656ace643a81c40a985a 2>&1 | tee -a /home/sberg/lo0/tar/fetch.log; false; fi && mv boost_1_85_0.tar.xz ../ 
> fetching boost_1_85_0.tar.xz
>   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
>                                  Dload  Upload   Total   Spent    Left  Speed
> 100   153  100   153    0     0   1131      0 --:--:-- --:--:-- --:--:--  1141
> ERROR: expected checksum for boost_1_85_0.tar.xz is 4e23218ff5036d57afd20f7cdab2e94cdbf6ba9c509d656ace643a81c40a985a
> make: *** [/home/sberg/lo1/core/Makefile.fetch:102: /home/sberg/lo1/core/workdir/download] Error 1

while a second attempt a little later succeeded.)