<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Thanks for your answers, but I found the root cause which was (as
always) located between the chair and the keyboard. <br>
</p>
<p>My batch file was using "./g reset --hard origin/master" instead
of "git...". Reverting to the right command solved my problem.<br>
</p>
<p>Sorry for the noise.</p>
<p>Laurent<br>
</p>
<div class="moz-cite-prefix">Le 28/07/2024 à 10:40, Ilmari
Lauhakangas a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:a16194d3-b33f-421f-a1aa-65f91e94f919@libreoffice.org">On
28.7.2024 11.25, Laurent Balland wrote:
<br>
<blockquote type="cite">Hi,
<br>
<br>
I've got a push tree since several years, and it changed its
behavior a few weeks ago:
<br>
<br>
git reset --hard origin/master
<br>
<br>
now preserve my changes. Which option should I use to discard
all my changes?
<br>
</blockquote>
<br>
In the .git/config file of LibreOffice source code, what is the
value of url in the [remote "origin"] block?
<br>
</blockquote>
url = <a class="moz-txt-link-freetext" href="https://gerrit.libreoffice.org/core">https://gerrit.libreoffice.org/core</a><br>
<br>
<blockquote type="cite"
cite="mid:a16194d3-b33f-421f-a1aa-65f91e94f919@libreoffice.org">
<br>
Ilmari
<br>
</blockquote>
<div id="grammalecte_menu_main_button_shadow_host"
style="width: 0px; height: 0px;"></div>
</body>
</html>