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:url = "" class="moz-txt-link-freetext" href="https://gerrit.libreoffice.org/core">https://gerrit.libreoffice.org/core
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?
Ilmari
