Thanks for your answers, but I found the root cause which was (as
always) located between the chair and the keyboard.
My batch file was using "./g reset --hard origin/master" instead of
"git...". Reverting to the right command solved my problem.
Sorry for the noise.
Laurent
Le 28/07/2024 à 10:40, Ilmari Lauhakangas a écrit :
On 28.7.2024 11.25, Laurent Balland wrote:
Hi,
I've got a push tree since several years, and it changed its behavior
a few weeks ago:
git reset --hard origin/master
now preserve my changes. Which option should I use to discard all my
changes?
In the .git/config file of LibreOffice source code, what is the value
of url in the [remote "origin"] block?
url = https://gerrit.libreoffice.org/core
Ilmari
