<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">Hello Antoine,<br>
      <br>
      Thanks for your answer:<br>
      <br>
      Le 17/11/2018 à 15:40, Antoine ELIAS a écrit :<br>
    </div>
    <blockquote
      cite="mid:fcfd342e-327b-b610-c03b-358dd8b4d363@scilab-enterprises.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      Hello Samuel,<br>
      <br>
      First, never use Windows date/time as reference, it is just a view
      of your local repo and there no link with git information.<br>
      > In GIT, as shown above, all dates of *.sci are actually very
      recent.<br>
      Not really, in fact image/view of the repo on your system have
      recent dates. Windows file system dates can change on clone,
      pull/rebase, checkout...<br>
    </blockquote>
    <br>
    Windows dates have been got just after a <i>git checkout origin/6.0
      + git fetch + </i><i>git reset --hard</i><i> origin/6.0</i>.<br>
    As fas as i understand, this is supposed to refresh all local files
    and synchronize them with the remote GIT.<br>
    In addition, if dates were the one when files are copied to the
    local repo, they would all be the<br>
    same, after this "refreshing" sequence. This is not the case.<br>
    <br>
    So, it is still unclear to me.<br>
    <br>
    I will have a look on how GIT manages files with <i>reset --hard</i>.<br>
    <br>
    Regards<br>
    Samuel<br>
  </body>
</html>